Commits

Alexandru Moșoi committed a77dc5a

solve: better default gpre.

  • Participants
  • Parent commits d78d7db

Comments (0)

Files changed (1)

File lib/solve.go

 	"strings"
 )
 
-var gpre = flag.String("gpre", "pu,flp,pl,pu,hl,bce", "preprocessing algorithms")
+var gpre = flag.String("gpre", "pu,flp,pu,pl,hl,bce", "preprocessing algorithms")
 
 func printInfo(f *Formula) {
 	v, c, l := f.Count()
 
 		if apply == nil {
 			log.Println("Ignoring unknown preprocessing algorithm", pre)
+			continue
 		}
 
 		if bad, rsn := apply(formula); bad {