opam installation failed for OCaml 4.03.0 about nunchaku HOT 5 CLOSED

For some reason your opam has installed a really old version of sequence (from 2014). I just added a lower bound to the opam file.

from nunchaku.

Unrelated, but you may want to migrate to opam 2. opam 1's repository is now frozen and new packages won't show on it.

I plan to update nunchaku's opam file to the 2.0 format soon.

from nunchaku.

Thanks for the fix, installation succeeded!

Now I tried to run it on the sample file mentioned in the README (which turns out to be not exactly at docs/examples/first_order.nun, but I took nunchaku-problems/tests/first_order.nun).

So I ran

nunchaku tests/first_order.nun

but got

Error: in the interface to CVC4: non first-order list

Output of cvc4 --version:

This is CVC4 version 1.7-prerelease [git master 9168f325]
compiled with GCC version 8.1.1 20180712 (Red Hat 8.1.1-5)
on Oct 10 2018 01:26:41

from nunchaku.

I think this deserves its own issue. I don't have cvc4 1.7 though :s

from nunchaku.

Thanks for the hint, so I tried with CVC4 version 1.5 (the one shipped with Isabelle2017), and it worked! The separate issue is here: #27

from nunchaku.