News

New Subproject: Cohesion SAT Solving Engine

Cohesion SAT^SE is our upcoming Peer-to-Peer Grid SAT solving engine. It will leverage the distributed task pool provided by the Cohesion Platform.