Explore projects

origin: https://github.com/play-project/play.ow2.org

origin: https://github.com/ow2-proactive/documentation.git

origin: https://github.com/DeviceFarmer/setup-examples.git

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.