diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-08-17 15:09:03 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-08-17 15:09:03 -0700 |
| commit | 8149291e663b930a8f1acb66c509decccd504584 (patch) | |
| tree | f699c84b537f5901513abe07eeed5641f014d166 /src/smt/term_formula_removal.h | |
| parent | 4f82b6eb7cc921ba2c6470a5ca0027be8dfc04e9 (diff) | |
[CI] Update package listCIAddFlex
Since
https://github.com/CVC4/LFSC/commit/1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2
LFSC requires Flex, so we need to install the corresponding packages in
our CI environment. This commit also removes SWIG from the list of
packages to install since we do not use it anymore.
Diffstat (limited to 'src/smt/term_formula_removal.h')
0 files changed, 0 insertions, 0 deletions