A visualizer for polite theory combination. Theory combination is implemented extensively in SMT solvers, which are used for fields such as formal program verification, automated reasoning, and software testing.
View it here.
-
Notifications
You must be signed in to change notification settings - Fork 0
polite theory combination visualizer
vivCoding/theory-combo-viz
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
polite theory combination visualizer
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published