Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for sat dimacs
dimacs
x
sat
x
4 search results found
Touist
⭐
56
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Bosphorus
⭐
56
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
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.
Dimacs Parser
⭐
8
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Related Searches
Python Sat Solver (63)
C Plus Plus Sat (22)
C Sat (17)
Smt Sat (12)
Sat Cnf (12)
Ocaml Sat (6)
C Plus Plus Dimacs (6)
Cnf Dimacs (6)
Graph Dimacs (5)
Sat Cdcl (5)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.