Wiki¶

Clone with the following commands:

git clone https://projects.informatik.uni-freiburg.de/git/isat3/implementation isat3.implementation
git clone https://projects.informatik.uni-freiburg.de/git/isat3/axatpg isat3.axatpg
git clone https://projects.informatik.uni-freiburg.de/git/isat3/benchmarkgenerator isat3.benchmarkgenerator
git clone https://projects.informatik.uni-freiburg.de/git/isat3/benchmarks isat3.benchmarks
git clone https://projects.informatik.uni-freiburg.de/git/isat3/bitopchecker isat3.bitopchecker
git clone https://projects.informatik.uni-freiburg.de/git/isat3/manual isat3.manual
git clone https://projects.informatik.uni-freiburg.de/git/isat3/neuronalnetworks isat3.neuronalnetworks
git clone https://projects.informatik.uni-freiburg.de/git/isat3/opbsolver isat3.opbsolver
git clone https://projects.informatik.uni-freiburg.de/git/isat3/papers isat3.papers
git clone https://projects.informatik.uni-freiburg.de/git/isat3/pbrewrite isat3.pbrewrite
git clone https://projects.informatik.uni-freiburg.de/git/isat3/smi2isat isat3.smi2isat
git clone https://projects.informatik.uni-freiburg.de/git/isat3/smisat isat3.smisat
git clone https://projects.informatik.uni-freiburg.de/git/isat3/testcasegenerator isat3.testcasegenerator