mirror of
https://github.com/circify/circ.git
synced 2026-04-21 03:00:54 -04: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
|