Skip to content


  • Arctic Code Vault Contributor



Popular repositories

  1. MonoSAT - An SMT solver for Monotonic Theories

    C++ 63 21

  2. 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 6 1

  3. A line-oriented delta debugger.

    Python 2

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

    Shell 1

  5. Automatically exported from


  6. A fork of Minisat+ intended for use with MonoSAT


16 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

August - September 2020

sambayless has no activity yet for this period.

July 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.