Popular repositories

1. monosat monosat Public

   MonoSAT - An SMT solver for Monotonic Theories

   C++ 105 32

2. golems golems Public

   Golems is a 3D recreational physics simulator. Build robots, spaceships, clocks, catapults or cannons. Add sensors, timers, switches, motors. Give it a brain. Take the wheel and pilot your machine …

   Java 9 1

3. simpleIC3 simpleIC3 Public

   A simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.

   C++ 5 1

4. linedd linedd Public

   A line-oriented delta debugger.

   Python 3

5. farmux farmux Public

   Utility for launching jobs on remote machines, in fresh tmux sessions.

   Shell 1

6. jphya jphya Public

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

   Java