Related Software
Table of Contents
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 in your project? I’d love to know! Feel free to reach out to me at markus (at) automorphisms.org.
Other symmetry detection and canonical labeling 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. |