CodePlexProject Hosting for Open Source Software
Use this discussion page to provide feedback on code checkins, suggest features, and to ask project questions.
To report a bug, use the
Issue Tracker. To ask questions about using Z3, use
Oct 26, 2016
1:15 PM(2 posts)
first post: zverlov wrote: Hi,
I would like to encode a routing problem using z3.
Jun 14, 2016
1:25 PM(2 posts)
first post: zverlov wrote: Hey,
I get an error in my JRE when i try to optimize a large deplo...
Mar 1, 2016
1:46 PM(2 posts)
first post: dradorf wrote: I should like to suggest a new tactic that partitions a given SMT-p...
May 22, 2015
9:45 AM(3 posts)
first post: newfut wrote: I have a smt2 string that is stored in a file *.smt2. I use z3.exe ...
May 21, 2015
1:34 PM(2 posts)
first post: hdarwin wrote: In : from z3 import *
In : x = Int('x')
In : solve(x < 5...
May 9, 2015
6:51 PM(3 posts)
first post: MovGP0 wrote: Bart De Smet wrote a LINQ to Z3 Adapter back in 2010. While LINQ is...
Apr 21, 2015
11:27 PM(4 posts)
first post: kevinclancy wrote: Does QF_FPA support the push and pop commands yet? When I run z3 on...
Apr 2, 2015
6:45 PM(3 posts)
first post: j58 wrote: Z3 team, thanks for making a Java binding for Z3. I've found it ver...
Apr 1, 2015
9:29 PM(4 posts)
first post: f1533135 wrote: If I use the Z3 engine to optimize my theorems, does Microsoft have...
Mar 21, 2015
5:21 PM(2 posts)
first post: Heizmann wrote: Our software model checker generates a lot of SMT queries that cont...
Sign in to display notification settings.
Keep up with what's going on in this project's discussions