Use Git or checkout with SVN using the web URL.
Work fast with our official CLI.
If nothing happens, download GitHub Desktop and try again.
If nothing happens, download Xcode and try again.
If nothing happens, download the GitHub extension for Visual Studio and try again.
Authors: Yi Fan, Chengqian Li, Zongjie Ma
This is solver for Maximum Satisfiability Problem.