master-keying / minisatView external linksLinks
A minimalistic and high-performance SAT solver
☆147Oct 26, 2021Updated 4 years ago
Alternatives and similar repositories for minisat
Users that are interested in minisat are comparing it to the libraries listed below
Sorting:
- A minimalistic and high-performance SAT solver☆1,140Apr 28, 2024Updated last year
- Read-Compile-Run-Loop: tiny and powerful interactive C++ compiler (REPL)☆20Aug 19, 2021Updated 4 years ago
- Implementation of hash_append proposal☆67Dec 14, 2016Updated 9 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
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 7 months ago
- Unified interface for interacting with Git forges☆13Jun 25, 2025Updated 7 months ago
- Fast, multiplatform fiber based job dispatcher based on Naughty Dogs' GDC2015 talk.☆35Dec 8, 2018Updated 7 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 2 years ago
- Repository for an article called "Fast MiniMax Polynomial Approximations of Sine and Cosine"☆12Mar 8, 2019Updated 6 years ago
- A flexible image resampling library☆44Jan 16, 2017Updated 9 years ago
- Non-intrusive C++ signal programming library☆49Dec 10, 2021Updated 4 years ago
- CaDiCaL SAT Solver☆519Updated this week
- CMU Undergrad Course☆95Feb 18, 2023Updated 2 years ago
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 2 weeks ago
- ☆11Sep 29, 2021Updated 4 years ago
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- BinaryVice is better than term_to_binary/1 at serializing structured Erlang data.☆25Oct 12, 2009Updated 16 years ago
- LLVM assembly syntax highlighting and snippets☆14Jan 24, 2026Updated 3 weeks ago
- Period is a type that represents ISO-8601 periods of time.☆16Jan 9, 2026Updated last month
- A tree-walker && virtual-machine && JIT interpreter for Lox language☆30May 3, 2024Updated last year
- Tiny and free software license in 299 bytes.☆35Dec 31, 2020Updated 5 years ago
- Single file utilities for C++.☆30Jan 28, 2026Updated 2 weeks ago
- A toolkit for SAT-based prototyping in Python☆444Feb 4, 2026Updated last week
- A reflective enum implementation for C++☆300Feb 8, 2024Updated 2 years ago
- ☆11Dec 15, 2023Updated 2 years ago
- A cross-platform game library in the public domain☆15Aug 12, 2019Updated 6 years ago
- Libhydrogen bindings for Erlang☆20Feb 10, 2019Updated 7 years ago
- DARMA/magistrate => Serialization and checkpointing library☆12Jan 26, 2026Updated 2 weeks ago
- A Building blocks for elixir CQRS segregated applications☆15Sep 25, 2019Updated 6 years ago
- Erlang LRU cache☆12Mar 8, 2019Updated 6 years ago
- constexpr djb2, fnv1, crc32, mumur3 string hash functions☆16Dec 25, 2017Updated 8 years ago
- Sample UE5 project/plugin that adds several Tools to Modeling Mode via Extension system☆15May 31, 2022Updated 3 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 4 years ago
- Call any function with command-like syntax at runtime (with automatic argument management). No dependencies, no boilerplate code, no macr…☆12Dec 25, 2022Updated 3 years ago
- SAT Solver SATCH☆120Updated this week
- Using C++ templates to track dimensional metadata☆11Nov 20, 2020Updated 5 years ago
- Double precision raytracer for scientific or engineering applications.☆12May 18, 2024Updated last year
- A Skew Binomial Heap for Erlang.☆15Jun 22, 2011Updated 14 years ago