Installation - NTU-ALComLab/LSV-PA GitHub Wiki

We refer to the readme of ABC for the installation instructions. Further more, we strongly suggest everyone to use a Unix base(Linux, Macos) system.

If you are a window user and don't have a linux server available, we suggest using WSL.

Dependencies

You might need to install some additional libraries such as libreadline-dev.

For those who uses wsl in Windows, you may need to install the package graphviz and gv for the command show to work. For example, to install those packages in Ubuntu, please use the following command:

sudo apt-get install graphviz gv

Note that the command show can still fail after you install these packages if you have wsl1 instead of wsl2. The easiest way to fix it is to update your wsl1 to wsl2. To check your wsl version, open your windows powershell and run wsl --version. If there is an error, then your wsl is version 1. In this case, please run wsl --update and then wsl --install to install your Ubuntu.

Running ABC

After ABC is successfully installed, you can execute the binary and it will show you a command prompt like:

UC Berkeley, ABC 1.01 (compiled Sep 21 2020 17:08:58)
abc 01>

You can type in command help to display all commands:

abc 01> help
      Welcome to ABC compiled on Sep 21 2020 17:08:54!

ABC9 commands:
 &acec            &add1hot         &anorm           &append         
 &atree           &b               &back_reach      &bcore          
 &bidec           &blut            &bmc             &bmci           
 &bmcs            &cec             &cexinfo         &cfraig         
 &cfs             &chainbmc        &choice          &cof            
 &compare         &cone            &cycle           &dc2            
 &dch             &decla           &deepsyn         &demiter
...

You can type command quit to end the program.