Pinned Repositories
RefChecker
RefChecker provides automatic checking pipeline and benchmark dataset for detecting fine-grained hallucinations generated by Large Language Models.
farmux
Utility for launching jobs on remote machines, in fresh tmux sessions.
golems
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 yourself. Build anything.
jphya
Automatically exported from code.google.com/p/jphya
linedd
A line-oriented delta debugger.
minisatpb
A fork of Minisat+ intended for use with MonoSAT
monosat
MonoSAT - An SMT solver for Monotonic Theories
monosat_tests
Test suite for MonoSAT
simpleIC3
A simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.
z3-satmodsat
sambayless's Repositories
sambayless/monosat
MonoSAT - An SMT solver for Monotonic Theories
sambayless/golems
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 yourself. Build anything.
sambayless/simpleIC3
A simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.
sambayless/linedd
A line-oriented delta debugger.
sambayless/farmux
Utility for launching jobs on remote machines, in fresh tmux sessions.
sambayless/jphya
Automatically exported from code.google.com/p/jphya
sambayless/minisatpb
A fork of Minisat+ intended for use with MonoSAT
sambayless/monosat_tests
Test suite for MonoSAT
sambayless/z3-satmodsat