d4 Model Counter
☆18May 17, 2023Updated 2 years ago
Alternatives and similar repositories for d4
Users that are interested in d4 are comparing it to the libraries listed below
Sorting:
- ☆14May 12, 2025Updated 9 months ago
- Entry to model counting competition 2021.☆24Jun 25, 2024Updated last year
- Models (and data) of constrained problems developped with the library PyCSP3☆13Dec 15, 2025Updated 2 months ago
- COmpact SOlver for COnstrained problems☆14Feb 26, 2026Updated last week
- The #SAT solver sharpSAT☆63Aug 28, 2022Updated 3 years ago
- ☆20Jan 20, 2026Updated last month
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 8 months ago
- A toolbox for knowledge compilation☆27Nov 25, 2025Updated 3 months ago
- Constraint Solver ACE☆36Updated this week
- ☆10May 25, 2017Updated 8 years ago
- Grain of Salt equation generator☆16May 6, 2022Updated 3 years ago
- ☆11Sep 29, 2021Updated 4 years ago
- Secure multiparty computation in Julia☆13Jul 25, 2019Updated 6 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- Better profiling reports for Julia☆14Feb 8, 2020Updated 6 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆19Feb 8, 2020Updated 6 years ago
- Resurrection of guile-scsh on guile-2.0☆13Jul 8, 2022Updated 3 years ago
- Constraint Handling Rules☆17Sep 18, 2024Updated last year
- Representation of infinity in Julia☆15Jul 24, 2021Updated 4 years ago
- A Python Library for modeling combinatorial constrained problems☆81Updated this week
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated last month
- ☆18May 1, 2020Updated 5 years ago
- CNF minimizer and minimal independent set minimizer☆24Feb 27, 2026Updated last week
- Simple Prolog to JS transpiler☆20Oct 19, 2012Updated 13 years ago
- Nuclear many-body course for 2018☆19Aug 5, 2022Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Dec 20, 2024Updated last year
- Hartree-Fock Python☆20Jan 14, 2023Updated 3 years ago
- Submission to PACE 17☆23Jan 9, 2025Updated last year
- ☆16Jun 19, 2021Updated 4 years ago
- REPL for LispSyntax.jl☆20Dec 27, 2019Updated 6 years ago
- DynamicHMC versions of StatisticalRethinking models☆18Jul 31, 2023Updated 2 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated 8 months ago
- Currying for Julia☆21Apr 9, 2024Updated last year
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Jan 19, 2023Updated 3 years ago
- XCSP3 Tools in Java☆23Feb 9, 2026Updated 3 weeks ago
- ☆22May 25, 2017Updated 8 years ago