Tooling to build dreal4 from source within the docker environment - Githubissues

ml4ai / funman

SKEMA Functional Model Analysis (FUNMAN)

MIT License

2 stars 2 forks source link

Tooling to build dreal4 from source within the docker environment #43

Closed jgladwig closed 1 year ago

jgladwig commented 1 year ago

Builds:

ibex (gaol, mathlib, clp)
dreal4

This should work for both arm64 and amd64 architectures.