sm178 issues

Repositories
Issues
Comments

Results 1 issues of


                                            sm178

4.8.5 and 4.13.0 hang on example that works in 4.6.0 (linear constraints with int variables)

I have this relatively simple problem where Z3 in versions 4.8.5 and 4.13.0 (2 I tested) seems to hang indefinitely: ``` (declare-fun a () Int) (declare-fun b () Int) (declare-fun...