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