projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Wed, 12 Aug 2020 06:41:45 +0000 (01:41 -0500) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 12 Aug 2020 06:41:45 +0000 (23:41 -0700) | ||
| commit | 0e39025474cb32a3b96ebc93afd8a761ca0ec9ef | |
| tree | ccba518a1bf74b8dfb64e3655daa7ed419a6f7ad | tree |
| parent | 66836c5fd879c92bddbca52d4b1802213f227a44 | commit | diff |
| test/regress/regress1/quantifiers/issue4021-ind-opts.smt2 | diff | blob | history |