Pinned

1. intrepid intrepid Public

   Intrepyd Model Checker

   Python 17 1

2. opensmt opensmt Public

   Automatically exported from code.google.com/p/opensmt

   C 6 2

3. smtlectures smtlectures Public

   A collection of slides of the SMT course I held at University of Milan in fall 2011

   C 7 3

4. polytopepacking polytopepacking Public

   Polytope packing algorithm implemented with SMT-solvers

   SMT 1