mirror of
https://github.com/circify/circ.git
synced 2026-01-13 15:47:56 -05:00
2e9c70a32a
For the love of test cases everywhere, and perhaps interop with other tools... Floating-point support is incomplete.
3 lines
61 B
Bash
Executable File
3 lines
61 B
Bash
Executable File
set -xe
|
|
apt-get install cvc4 coinor-cbc coinor-libcbc-dev m4
|