Trainable SAT Solver Library |
Ben-Jose is:
The initial motivation for this software was to do better than existant solvers for Pigeon Hole Principle (PHP) instances of the SAT problem, while using a general strategy that could be used to solve other 'hard' SAT instancess, and still be competitive for 'simple' instances.
Since 2016, this library (ben-jose) is in a frozen state. The algorithm of Ben-Jose is been redesigned from scratch to be highly parallel while preserving the proposed trainable strategy.
An asynchronous messaging library Messaging Cells was developed in order to implement the new algorithm. It is research work in progress.
This library (ben-jose) never left pre-alpha stage. It served as a proof of concept tool for the proposed general strategy to solve SAT problems. It is the result of more than ten years of research in SAT solving.
cd ben-jose-master/build/gnu_make make cd lib/ben-jose echo $'\nPATH=$PATH:'`pwd`$'\n' >> ~/.bashrc ls exit
These commands will compile, built, put the library directory in the PATH environment variable, list all files of the library and finally 'exit' the command line so the changes to the path take effect (.bashrc is ran again) the next time you open a command line.
For Mint and in the command line (probably the same for other debian based distros):
sudo apt-get install gcc sudo apt-get install g++ sudo apt-get install make sudo apt-get install libgmp10 sudo apt-get install libgmp-dev sudo apt-get install libgmpxx4ldbl
These commands are safe to be run even if the packages are already installed because it will just tell you so.
Look at: