Dimacs CNF utilities
☆21Feb 12, 2025Updated last year
Alternatives and similar repositories for cnf-utils
Users that are interested in cnf-utils are comparing it to the libraries listed below
Sorting:
- Management of Benchmark Instances and Instance Attributes☆21Mar 13, 2026Updated last week
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 2 years ago
- ☆11Jul 21, 2022Updated 3 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Jun 3, 2023Updated 2 years ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Mar 14, 2019Updated 7 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 10 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆71Mar 9, 2026Updated last week
- Share your research online by compiling it to JavaScript!☆23Nov 30, 2014Updated 11 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- Qute: a dependency learning QBF solver.☆15Mar 11, 2026Updated last week
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- A 277 KB no_std WebAssembly JIT engine that goes head-to-head with V8 and Wasmtime.☆40Updated this week
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 5 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 3 years ago
- A simple SAT solver based on the CDCL algorithm☆19Sep 10, 2019Updated 6 years ago
- ☆10May 14, 2020Updated 5 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Feb 19, 2026Updated last month
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆29Nov 5, 2025Updated 4 months ago
- Type checked partial references for rust☆14Jul 17, 2021Updated 4 years ago
- ☆17Mar 9, 2024Updated 2 years ago
- Fix Rust coverage data based on source code☆15Dec 29, 2020Updated 5 years ago
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- An open source repository for the JetStream benchmark☆15Mar 5, 2026Updated 2 weeks ago
- An experimental RISC-V recompiler☆18Apr 6, 2023Updated 2 years ago
- 10小时搞定Latex排版☆12Jun 22, 2018Updated 7 years ago
- A compiler and stack-based VM for pseudo-assembly as defined in the Computer Science Coursebook for Cambridge International AS & A Level,…☆17Nov 27, 2025Updated 3 months ago
- Proposed fixit commands for cargo☆31Mar 13, 2026Updated last week
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- A symbolic evaluator for MIR☆20Jan 20, 2020Updated 6 years ago
- ☆93Dec 7, 2022Updated 3 years ago
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated last year
- partition slices in-place by a predicate☆18Sep 17, 2021Updated 4 years ago
- Solves the longest common subsequence problem in Python☆19Dec 16, 2011Updated 14 years ago
- A simulation of the launch and landing of the Falcon 9 rocket.☆17Feb 19, 2023Updated 3 years ago
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 6 years ago
- ☆24Jul 6, 2024Updated last year