MiniSat-J is a porting MiniSat2.0 to Java. Contribute to saka1029/MiniSat-J development by creating an account on GitHub.