BoolVar/PB

Brought to you by: obailleux

Downloads: 0 This Week

Last Update: 2012-10-23

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

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Rate This Project

User Reviews

Be the first to post a review of BoolVar/PB!

2009-08-14

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

Logic Calculator
A Calculator to perform logical operations
PolyBoRi
PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.
Karnaugh Map Minimizer
Program for minimizing boolean functions using Karnaugh maps method.
jscl-meditor
java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
TRUTH TABLE SOLVER
Truth Table Solver is a program that solves the truth table and output all the possible minimized boolean expressions.It uses Quine-McCluskey algorithm (Tabulation method) for boolean minimization.It has an easy to use GUI and a command line mode.