* added static definitions of Lit.True,False,Undef to monosat.Logic, so that one need only import monosat.Logic.* * added missing handling for False,True, to implies
* added static definitions of Lit.True,False,Undef to monosat.Logic, so that one need only import monosat.Logic.*
* added missing handling for False,True, to implies

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat