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:
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆39Dec 18, 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
- microsat☆140Jun 18, 2022Updated 3 years ago
- ☆11Jul 21, 2022Updated 3 years ago
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆53Jun 28, 2022Updated 3 years ago
- A simple SAT solver based on the CDCL algorithm☆19Sep 10, 2019Updated 6 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆71Aug 11, 2025Updated 6 months ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Mar 14, 2019Updated 6 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months 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
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆53Updated this week
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last week
- X utilities in POSIX shell scripts.☆13Dec 20, 2021Updated 4 years ago
- SAT solver written in Rust☆274Nov 2, 2022Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆103Updated this week
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated last month
- Line shuffler for huge text file which does not fit in memory☆13Dec 1, 2022Updated 3 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- C++ FreeVerb implementation in STK☆15Apr 22, 2012Updated 13 years ago
- Code for DNN feature map compression paper☆11Nov 21, 2018Updated 7 years ago
- ☆10May 14, 2020Updated 5 years ago
- Optimised multi-node MPI sorting algorithms in Julia☆10Sep 25, 2024Updated last year
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Aug 19, 2025Updated 6 months ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- CertWatcher is a new take on monitoring for phishing sites. It is meant to be a set and forget service that will send you a daily report …☆10Oct 12, 2020Updated 5 years ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Jul 17, 2025Updated 7 months ago
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆13Jan 23, 2026Updated last month
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- ☆19Updated this week
- Easy and efficient 2D spin glass simulation for quantum annealing☆12May 17, 2024Updated last year
- An example of KHR raytracing using ash and rust-gpu.☆12Feb 24, 2024Updated 2 years ago
- Model for selecting perceptually relevant early reflections for parametric spatial sound rendering☆13Oct 26, 2023Updated 2 years ago
- Go wrapper around SSH that speaks AWS API☆16Aug 15, 2023Updated 2 years ago
- ☆11May 24, 2022Updated 3 years ago
- ☆10Nov 21, 2023Updated 2 years ago
- Official developer documentation for OneBusAway☆13Feb 11, 2026Updated 2 weeks ago