git clone https://github.com/lmp47/ModelChecker.git
cd ModelChecker
git submodule init
git submodule update
rm Parser/AigerTools.hsc
rm Minisat/Minisat.hsc
cabal sandbox init
cabal configure --enable-tests
cabal build
cabal test
-
Notifications
You must be signed in to change notification settings - Fork 0
lmpick/ModelChecker
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published