mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-01 16:50:14 +00:00
Code Activity
10592 commits 49 branches 53 tags 193 MiB
Commit graph

3 commits

Author SHA1 Message Date
Mathieu Roger
9245e61775 Update socrates.py 2016-09-14 21:36:39 +02:00
Nikolaj Bjorner
e7f36a2d35 remove special characters 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2016-09-14 10:32:17 -07:00
Mathieu Roger
a7e3a9df5a Create socrates.py 
Classical syllogism in Z3.
Many samples talks about integer, reals. Not much sample available on non integer things.
 2016-09-14 19:10:49 +02:00