Projects using dejavu
#
| Name |
Description |
|
satsuma |
Static symmetry breaking for Boolean satisfiability (SAT) testing |
|
SCIP |
Solver for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). |
⭐ Are you using dejavu and would like for your project to be featured in this list? Then please reach out to me at markus (at) automorphisms.org.
Other symmetry detection tools
#
| Name |
Description |
|
Traces |
Automorphism group & canonical labelling tool by Adolfo Piperno. Features advanced search strategies, most likely the all-round fastest deterministic solver. |
|
nauty |
Automorphism group & canonical labelling tool by Brendan McKay. Highly customizable, excells on small graphs. |
|
bliss |
Automorphism group & canonical labelling tool by Tommi Junttila and Petteri Kaski. Features an easy-to-use, convenient C++ API. |
|
saucy |
Automorphism group tool. Broke ground regarding sparse, practical graphs. |