Downloads

Computing ASPMT Theories using SMT Solvers

The following archives contain pre-compiled binaries of all required systems which should be placed in a directory in your path e.g. /usr/local/bin/