issues
search
hgvk94
/
z3
The Z3 Theorem Prover
Other
5
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
MBP reports error "could not evaluate Boolean in model"
#10
dong-yf
opened
11 months ago
0
Is there a command to invoke MBP directly?
#9
dong-yf
closed
11 months ago
1
failed to produce IUC
#8
hgvk94
opened
1 year ago
0
Unsoundness with mk_slice transform
#7
hgvk94
opened
3 years ago
0
issue with slicing
#6
hgvk94
opened
3 years ago
3
Issue with check_sat_cc
#5
hgvk94
opened
4 years ago
1
Spacer assertion violation: File: src/muz/spacer/spacer_context.cpp Line: 950 !lemma->is_ground() || spacer::is_clause(m, l)
#4
hgvk94
opened
4 years ago
1
seg fault while reducing proof inside iuc solver
#3
hgvk94
opened
4 years ago
0
Segfault inside IUC solver
#2
hgvk94
opened
4 years ago
0
Did not understand some aspects of code
#1
hgvk94
closed
4 years ago
1