#

compound-boolean

Here is 1 public repository matching this topic...

SleekPanther / 3-sat-certifier

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

Updated May 18, 2017
Java

Improve this page

Add a description, image, and links to the compound-boolean topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the compound-boolean topic, visit your repo's landing page and select "manage topics."