Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for cnf dimacs
cnf
x
dimacs
x
2 search results found
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.
Related Searches
Sat Cnf (12)
Sat Solver Cnf (11)
C Plus Plus Cnf (9)
Sat Dimacs (8)
Python Cnf (7)
C Plus Plus Dimacs (6)
C Cnf (5)
Cfg Cnf (5)
Graph Dimacs (5)
Kubernetes Cnf (4)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.