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.
vivCoding/theory-combo-viz
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|