- lots and lots of comments to make the internals    graspable by ordinary mortals ;-) - disable CODE10 specifics (patch atoms, eek!)
- lots and lots of comments to make the internals
   graspable by ordinary mortals ;-)
- disable CODE10 specifics (patch atoms, eek!)


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