Popular repositories Loading

1. supplemental-rafla supplemental-rafla Public

   supplemental data for "Using SAT to study plane Hamiltonian substructures in simple drawings"

   Python 2

2. rotsys-sat rotsys-sat Public

   Python 2

3. supplemental-signotope-extension supplemental-signotope-extension Public

   supplemental material to the article "An extension theorem for signotopes"

   HTML 1

4. supplemental-completion-problems supplemental-completion-problems Public

   supplemental material to the article "Finding hardness reductions automatically using SAT solvers"

   Python 1

5. leafage leafage Public

   Sage 1

6. cadical_py cadical_py Public

   python wrapper for cadical

   C++ 1