Maxcomp

About

Maxcomp is a fully automatic completion tool for equational systems.

Download

Source Code for Linux

Latest version

Please see included README file for instructions.

Older versions

Binary Package for Ubuntu 12.04 64bit

Installation instructions:
  1. download and extract yices 1.0.34 (yices-1.0.34-x86_64-pc-linux-gnu.tar.gz, dynamically linked version)
  2. sudo install libyices.a libyices.so /usr/local/lib
    sudo apt-get install libgmp10 libgmp10-dev
    sudo /sbin/ldconfig -v
    sudo dpkg -i maxcomp_1.0-1_amd64.deb
    

More Information

Contact