boolvar pb

We have hosted the application boolvar pb in order to run this application in our online workstations with Wine or directly.

Quick description about boolvar pb:

A Java library for encoding pseudo-Boolean constraints into CNF formulea.

Audience: Science/Research.
User interface: Console/Terminal.
Programming Language: Java.
Categories: