Home
Download
Compilation
Usage
DIMACS format
ISCAS/RTL format

Download

Here you may download the sources of the BASolver project. Please refer to the compilation page and to the documentation in the package itself for the information on how to compile it.

Download basolver-src-v1.0.tar.gz (1.5 Mb).

You may also download the first report on the solver. This is a rather technical 74-page PDF document (included in the source package above). When we have a better presentation, we will put a reference here.

Download basolver-firstreport.pdf (500 Kb).