mirror of
https://github.com/circify/circ.git
synced 2026-01-21 03:27:57 -05:00
3 lines
55 B
Bash
Executable File
3 lines
55 B
Bash
Executable File
set -xe
|
|
apt-get install cvc4 coinor-cbc coinor-cbc-dev
|