Popular repositories Loading

1. ipasir ipasir Public

   The Standard Interface for Incremental Satisfiability Solving

   C++ 50 14

2. hordesat hordesat Public

   C++ 5 3

3. freelunch freelunch Public

   Satisfiability based automated planning

   SAS 3

4. SatHelper SatHelper Public

   A tool to improve Boolean satisfiability (SAT) solver user's life

   Python 3 2

5. sokoplan sokoplan Public

   Forked from Froleyks/sokoplan

   TeX 2

6. htmlMiniGames htmlMiniGames Public

   Mini games written in HTML and JavaScript

   JavaScript 1 1