Nikolaj Bjorner
3631d1b85c
Remove tptp5 example
...
Remove the examples/tptp project and its references in the CMake examples
build, mk_project.py, and the CMake examples CI script.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 57b9b87e-950a-49ea-bbb3-ed585646a5a9
2026-07-29 14:01:08 -07:00
Nikolaj Bjorner
b3366bae5a
remove test-examples from MacOS build, re-add maxsat example
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-05-19 13:52:44 -07:00
Nikolaj Bjorner
5fe0eeda63
disable regressions in ST mode
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-05-19 09:37:06 -07:00
Nikolaj Bjorner
fcd2bc605c
try to make template parsing work
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-05-18 19:17:36 -07:00
Nikolaj Bjorner
323a752bbf
disable maxsat. for a mysterious reason it started failing on a single macos build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-05-18 19:16:32 -07:00
Nikolaj Bjorner
14e9020f20
more templates
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-12 08:35:34 -07:00
