mirror of
https://github.com/circify/circ.git
synced 2026-01-17 09:38:10 -05:00
3 lines
34 B
Bash
Executable File
3 lines
34 B
Bash
Executable File
set -xe
|
|
pacman -S cvc4 coinor-cbc
|