Popular repositories Loading

1. minireachIC3 minireachIC3 Public

   An implementation of the model checking algorithm IC3 / PDR using Minisat 2.2 as the underlying SAT-solver

   C++ 6

2. PDRplan PDRplan Public

   An automated planner based on the Property Directed Reachability algorithm

   C 3 2

3. ls4 ls4 Public

   A PLTL-prover based on labelled superposition with partial model guidance

   C++ 1 3

4. PDRplanADL PDRplanADL Public

   Experimental version of PDRplan based on FF parser to deal with ADL (and expected to use an encoding and Minisat)

   C 1

5. deepire-paper-supplementary-materials deepire-paper-supplementary-materials Public

   Supplementary files accompanying the paper New Techniques that Improve ENIGMA-style Clause Selection Guidance (M. Suda) submitted to CADE2021

   Python 1

6. satsmtar2018 satsmtar2018 Public

   OpenEdge ABL