bug fix in picosat.c Thanks to Leopold Haller from Oxford University Computing Laboratory
bug fix in picosat.c
Thanks to Leopold Haller from Oxford University Computing Laboratory

dzufferey/csisat,dzufferey/csisat,dzufferey/csisat