summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cvc4: Add readline use flagTupone Alfredo2019-07-251-1/+3
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-232-1/+8
* sci-mathematics/cvc4: Fix sandbox issueTupone Alfredo2019-07-181-0/+8
* sci-mathematics/cvc4: Bump to 1.7Tupone Alfredo2019-07-143-0/+90
* sci-mathematics/cvc4: Add cvc4 to the treeTupone Alfredo2018-07-183-0/+42