#!/bin/bash

# builds all submodule dependencies

./scripts/build-cadical.sh
./scripts/build-cryptominisat.sh
./scripts/build-pblib.sh
./scripts/build-breakid.sh
./scripts/build-dlx.sh
./scripts/build-gecode.sh
./scripts/build-chuffed.sh
./scripts/build-minizinc.sh
