This repository contains a library for solving equations based on boolean algebra.

Unlike other SAT libraries, this library tries to derive a solution by equation instead of trial and error. Further the library has been optimised to handle large amounts of variables.

This library builds on the following boolean relationship:

A XOR B XOR (A AND B) = (A OR B)

A ^ B ^ (A & B) = (A | B)

make all install PREFIX=/usr/local

make -C apps/hpsolve all install PREFIX=/usr/local

cat test.cnf | hpsolve

--HPS