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.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.