GitHub repository: visualon/sat4j.net
Primary language: PowerShell
Description: Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.