|
|
6d87793803
|
Updated driver file R.py to showcase SMT techinques
Fixed minor bugs concerning lack of falsification rules and interfaces between VSP and SMT
|
2026-01-27 12:48:33 -05:00 |
|
|
|
f8eca388d4
|
Some comment changes
|
2026-01-27 11:23:47 -05:00 |
|
|
|
4150ac2a7a
|
Added logic_has_vsp which uses the SMTLogicEncoder
|
2026-01-15 15:03:18 -05:00 |
|
|
|
95e482a265
|
Cleanup
|
2026-01-12 17:07:44 -05:00 |
|
|
|
25bd83f032
|
Check VSP for non-MaGICal models via SMT
|
2026-01-12 16:55:37 -05:00 |
|
|
|
a5fb1b92bb
|
Enumerate over all models
|
2025-12-12 18:17:47 -05:00 |
|
|
|
3610335c1c
|
Added an initial model finder via Z3
|
2025-11-25 17:22:59 -05:00 |
|
