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 10 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 last year
- ☆14Dec 11, 2018Updated 7 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated last year
- more fortunes from various sources☆10Nov 28, 2011Updated 14 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated this week
- This is just some simple code (very basic) for messing about with eBPF☆12Jan 10, 2026Updated 2 months ago
- A bunch of easy to set up stats for the Emacs mode-line.☆26Jun 4, 2023Updated 2 years ago
- Javalib is a library to access and manipulate Java class files from OCaml.☆18Jul 13, 2024Updated last year
- Training a neural network to generate Instagram captions for photos using a biggg set of scraped Instagram data☆16Dec 8, 2022Updated 3 years ago
- python tool to generate pascal-5i dataset☆20Jul 9, 2020Updated 5 years ago
- A Cytoscape.js extension for the hierarchical clustering algorithm☆10Jul 26, 2017Updated 8 years ago
- Python wrapper for UNIX dialog utility☆19Aug 16, 2017Updated 8 years ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Run Docker apps on a BOINC project (like Cosmology@Home, etc...)☆12Jan 18, 2019Updated 7 years ago
- ☆26May 24, 2021Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆52Dec 15, 2025Updated 3 months ago
- Context manager to maintain your temporary directories/files.☆17Jan 23, 2023Updated 3 years ago
- A curated list of digitization fails with a focus on eGovernment in German language.☆12Feb 28, 2025Updated last year
- IPython Magic Functions☆16Aug 14, 2017Updated 8 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- unwrap! macro for Rust☆23Aug 8, 2018Updated 7 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆218Dec 11, 2025Updated 3 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 4 years ago
- PyTorch text matching models implementation for One-Shot Named Entity Linking☆25Sep 16, 2018Updated 7 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 8 years ago
- Dark, low contrast theme with muted, soft colors.☆13Jan 23, 2019Updated 7 years ago
- SHA256-SAT-BITCOIN☆24Apr 6, 2016Updated 9 years ago
- .files☆31Mar 2, 2026Updated 3 weeks ago
- ☆13Nov 10, 2021Updated 4 years ago
- Check how many countries you're a millionaire in the local currency 🤑☆10Jan 4, 2023Updated 3 years ago
- ☆15Jan 19, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Exploring Shared Virtual Memory Abstractions in OpenCL Tools for FPGAs☆18Dec 7, 2017Updated 8 years ago
- Mitschriften aus Vorlesungen (Mathematik/Informatik) an der Uni Jena☆16Feb 12, 2022Updated 4 years ago
- Python code to convert First Order Logic statements to Conjunctive Normal Form☆17Feb 19, 2019Updated 7 years ago
- An SMT Solver for strings☆10Jun 22, 2018Updated 7 years ago
- ☆35Oct 7, 2025Updated 5 months ago
- ☆22Apr 17, 2023Updated 2 years ago
- A web service for graph visualisation of authors and their coauthor communities of the DBLP Computer Science Bibliography☆13Jun 7, 2017Updated 8 years ago