Popular repositoriesLoading

1. monosatmonosatPublic

   MonoSAT - An SMT solver for Monotonic Theories

   C++ 111 32

2. golemsgolemsPublic

   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. simpleIC3simpleIC3Public

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

   C++ 5 1

4. lineddlineddPublic

   A line-oriented delta debugger.

   Python 3

5. farmuxfarmuxPublic

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

   Shell 1

6. jphyajphyaPublic

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

   Java