Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for satisfiability
satisfiability
x
26 search results found
Creusat
⭐
587
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Yices2
⭐
345
The Yices SMT Solver
Tt
⭐
197
a Pythonic toolkit for working with Boolean expressions
Circuitgraph
⭐
74
Tools for working with circuits as graphs in python
Splr
⭐
63
A modern CDCL SAT solver in Rust
Approxmc
⭐
59
Approximate Model Counter
Diff Sat
⭐
56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Kiwi Solver
⭐
35
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
Clpb
⭐
31
Boolean Constraint Solving in Prolog
Ipasir
⭐
28
The Standard Interface for Incremental Satisfiability Solving
Xorsatfilter
⭐
23
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
Cgen
⭐
21
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 output format.
Timetabler
⭐
20
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Ganak
⭐
20
The first scalable probabilistic exact counter
Sat Solver Dpll
⭐
14
A simple SAT solver that implements the DPLL algorithm with unit resolution
Slime Sat Solver
⭐
13
A Free World Class High Performance SAT Solver
Barbarik
⭐
12
The first efficient procedure to test whether a sampler is uniform
Hash_framework
⭐
10
Framework for studying cryptographic hash functions using SAT.
Jinkelasat
⭐
8
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Streamline Vi Csp
⭐
7
Satpie
⭐
7
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
Jamsat
⭐
7
A fast, clean IPASIR SAT solver
Quine Mccluskey
⭐
7
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
Rpicosat
⭐
6
PicoSAT bindings for R
Cmsh
⭐
6
High-level interfaces over @msoos's CryptoMiniSat.
Sat Encoding
⭐
6
Encoding different problems into Boolean satisfiability
Related Searches
Sat Solver Satisfiability (21)
Sat Satisfiability (18)
C Plus Plus Satisfiability (17)
Python Satisfiability (12)
1-26 of 26 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.