mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-29 18:29:12 +00:00
Code Activity
18536 commits 27 branches 49 tags 163 MiB
Commit graph

3 commits

Author SHA1 Message Date
Bruce Mitchener
7eb1e6dd23 userPropagator: Compile as C++20. 
Using std::unordered_map::contains requires C++20.
 2022-08-05 07:41:14 +03:00
Clemens Eisenhofer
35fb95648b
Updated user-propagator example (#5879) 2022-03-03 10:42:06 -08:00
Clemens Eisenhofer
091079e58c
Added user propagator example (#5625) 
* Added user propagator example

* User propagator example code refactoring
(+ removed unused parameter warning)

* Moved user-propagator example to its own directory
 2021-11-02 15:03:02 -07:00