Known importers: 24 github.com/Homer-G/gophersat (3) github.com/Homer-G/gophersat github.com/Homer-G/gophersat/bf github.com/Homer-G/gophersat/maxsat github.com/Mystelven/gophersat (4) github.com/Mystelven/gophersat github.com/Mystelven/gophersat/bf github.com/Mystelven/gophersat/explain github.com/Mystelven/gophersat/maxsat github.com/adam1/gophersat (3) github.com/adam1/gophersat github.com/adam1/gophersat/bf github.com/adam1/gophersat/maxsat github.com/frrad/boolform/bfgophersat github.com/gopricy/gophersat (3) github.com/gopricy/gophersat github.com/gopricy/gophersat/bf github.com/gopricy/gophersat/maxsat github.com/mystelven/gophersat (4) github.com/mystelven/gophersat github.com/mystelven/gophersat/bf github.com/mystelven/gophersat/explain github.com/mystelven/gophersat/maxsat github.com/rkkautsar/sudoku-solver/sudokusolver github.com/russross/gophersat (3) github.com/russross/gophersat github.com/russross/gophersat/bf github.com/russross/gophersat/maxsat github.com/sonntuet1997/numberlink-sat/solver github.com/ustclhx/lp_demon/identify