Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for satisfiability cnf
cnf
x
satisfiability
x
4 search results found
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.
Slime Sat Solver
⭐
13
A Free World Class High Performance SAT Solver
Quine Mccluskey
⭐
7
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
Cmsh
⭐
6
High-level interfaces over @msoos's CryptoMiniSat.
Related Searches
Sat Solver Satisfiability (21)
Sat Satisfiability (18)
C Plus Plus Satisfiability (17)
Sat Cnf (12)
Python Satisfiability (12)
Sat Solver Cnf (11)
C Plus Plus Cnf (11)
Python Cnf (7)
Cnf Dimacs (6)
C Cnf (5)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.