Seattle.rb
Members
Projects
Join Us
Values
Log in
Editing project
Name
Description
RicoSAT is a wrapper around [PicoSAT](http://fmv.jku.at/picosat/). It lets you use the PicoSAT solver from Ruby!
URL
https://github.com/tenderlove/ricosat
Show this project
|
Back to projects