Dimacs CNF utilities
☆20Jan 17, 2011Updated 15 years ago
Alternatives and similar repositories for cnf-utils
Users that are interested in cnf-utils are comparing it to the libraries listed below
Sorting:
- ☆17Jan 31, 2026Updated last month
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆20Jun 22, 2025Updated 9 months ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- The Pseudo-Boolean Solver MiniSat+☆29Oct 2, 2012Updated 13 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- Simple KMDF example driver, used as a case study in our WDF seminar.☆11Jun 16, 2021Updated 4 years ago
- Matlab bindings and interface for Haskell☆13Aug 24, 2020Updated 5 years ago
- Applications of reinforcement learning to Groebner basis computation.☆14Jun 13, 2021Updated 4 years ago
- Detect changepoints in time series data☆11Oct 29, 2014Updated 11 years ago
- SHA256-SAT-BITCOIN☆24Apr 6, 2016Updated 9 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year
- Source code for the paper "Real-time Pose Estimation of Deformable Objects Using a Volumetric Approach" in IROS 2014☆10Jan 20, 2015Updated 11 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- An old Polycode game☆15Aug 7, 2014Updated 11 years ago
- NVIDIA GPU Computing SDK 4.2.9. Fixing some stupid compilation bugs in the make files of the projects.☆19Jul 3, 2012Updated 13 years ago
- Reverse search algorithm for vertex enumeration/convex hull problems by David Avis. Branch "upstream" created from release archives at ht…☆15Aug 13, 2025Updated 7 months ago
- A framework for using an Android Wear watch as a remote controller.☆16Sep 29, 2019Updated 6 years ago
- ☆17Mar 9, 2024Updated 2 years ago
- Runtime choosing of template specializations using compile-time lookup-tables. Compile all states of a template function, but execute the…☆26Dec 31, 2025Updated 2 months ago
- ☆24Feb 1, 2012Updated 14 years ago
- A small version of grep command written in Rust☆20Aug 1, 2018Updated 7 years ago
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated last month
- The first efficient procedure to test whether a sampler is uniform☆13Mar 27, 2025Updated 11 months ago
- IPMACC is a framework for translating OpenACC for C API to CUDA, OpenCL, and Intel ISPC.☆15Jul 6, 2022Updated 3 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- Magic VLSI Layout Tool☆21Oct 10, 2019Updated 6 years ago
- SAT-based Bitcoin Mining☆90Jan 20, 2022Updated 4 years ago
- STM32/ESP32/ESP8285-based High-Performance Radio Link for RC applications☆28Mar 1, 2026Updated 3 weeks ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- A terminal app to find nice MD5s☆14Jan 15, 2023Updated 3 years ago
- C++ truth table library☆65Jul 30, 2025Updated 7 months ago
- Javascript-powered website to show a filterable view of CREST sovereignty data live☆11Jun 30, 2020Updated 5 years ago
- RevKit: Python quantum compilation library and framework☆31Apr 29, 2019Updated 6 years ago
- Floating-point matrix multiplication implementation (arbitrary precision)☆17Aug 3, 2021Updated 4 years ago