be a bit more generic next step: read a 'config' type file (pending)
be a bit more generic
next step: read a 'config' type file (pending)


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver