After cloning repo, run the following command in the main level: python3 btor2.py examples/{file_name}
This should print out the witness if the system is sat in K steps, else 'unsat', where K is specified in btor2.py
-
Notifications
You must be signed in to change notification settings - Fork 0
jetafese/btor2practise
About
A place to explore the world of bounded model checking as applied to Hardware Model Checking in btor2 format
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published