A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
☆10Jun 21, 2015Updated 11 years ago
Alternatives and similar repositories for PBL
Users that are interested in PBL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- ☆14Dec 11, 2018Updated 7 years ago
- An efficient minimal perfect hash function generator for small sets☆12Dec 12, 2020Updated 5 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Shape Analysis Tool based on Graph Grammars☆14Jul 5, 2026Updated 3 months ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆29Sep 11, 2026Updated last month
- This is just some simple code (very basic) for messing about with eBPF☆12Jan 10, 2026Updated 9 months ago
- Javalib is a library to access and manipulate Java class files from OCaml.☆19Jul 13, 2024Updated 2 years ago
- A Julia package for BDD and OBDD☆12Oct 27, 2020Updated 6 years ago
- A Cytoscape.js extension for the hierarchical clustering algorithm☆10Jul 26, 2017Updated 9 years ago
- Run Docker apps on a BOINC project (like Cosmology@Home, etc...)☆12Jan 18, 2019Updated 7 years ago
- python tool to generate pascal-5i dataset☆20Jul 9, 2020Updated 6 years ago
- Training a neural network to generate Instagram captions for photos using a biggg set of scraped Instagram data☆17Dec 8, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆26May 24, 2021Updated 5 years ago
- A curated list of digitization fails with a focus on eGovernment in German language.☆12Feb 28, 2025Updated last year
- Some examples of the Cpp target.☆10Nov 7, 2023Updated 2 years ago
- unwrap! macro for Rust☆23Aug 8, 2018Updated 8 years ago
- rgb4 project☆15Feb 7, 2014Updated 12 years ago
- A bunch of easy to set up stats for the Emacs mode-line.☆26Jun 4, 2023Updated 3 years ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆53Dec 15, 2025Updated 10 months ago
- A Kepler-optimized implmentation of scrypt mining☆31Dec 22, 2013Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- StructuredText Verification Studio☆10Oct 12, 2018Updated 8 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- PyTorch text matching models implementation for One-Shot Named Entity Linking☆25Sep 16, 2018Updated 8 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 5 years ago
- Context manager to maintain your temporary directories/files.☆17Jan 23, 2023Updated 3 years ago
- common-lisp markup language for generating latex code☆11Jun 18, 2013Updated 13 years ago
- Kind of M-x rgrep adapted for Org mode☆16Mar 10, 2014Updated 12 years ago
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- IPython Magic Functions☆16Aug 14, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- raccoon engine for kha [formerly lkl]☆12Sep 2, 2019Updated 7 years ago
- A Swift library to write parsers for domain specific languages.☆15Nov 3, 2020Updated 6 years ago
- .files☆30Oct 23, 2026Updated last week
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆222Oct 11, 2026Updated 3 weeks ago
- revision control for single files, written in bash :)☆13Jul 2, 2011Updated 15 years ago
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- Custom resources for LaTeX and related.☆13Feb 18, 2021Updated 5 years ago