All issues

Search results

MBP reports error "could not evaluate Boolean in model"

Status: Open.

#10 In hgvk94/z3;

· dong-yf opened on Dec 6, 2023

failed to produce IUC

Status: Open.

#8 In hgvk94/z3;

· hgvk94 opened on Mar 15, 2023

Unsoundness with mk_slice transform

Status: Open.

#7 In hgvk94/z3;

· hgvk94 opened on Nov 23, 2020

issue with slicing

Status: Open.

#6 In hgvk94/z3;

· hgvk94 opened on Nov 17, 2020

Issue with check_sat_cc

Status: Open.

#5 In hgvk94/z3;

· hgvk94 opened on Nov 5, 2020

Spacer assertion violation: File: src/muz/spacer/spacer_context.cpp Line: 950 !lemma->is_ground() || spacer::is_clause(m, l)

Status: Open.

#4 In hgvk94/z3;

· hgvk94 opened on Oct 26, 2020

seg fault while reducing proof inside iuc solver

Status: Open.

#3 In hgvk94/z3;

· hgvk94 opened on Jul 16, 2020

Segfault inside IUC solver

Status: Open.

#2 In hgvk94/z3;

· hgvk94 opened on Apr 24, 2020