aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-02-03 02:54:32 +0100
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-02-03 02:54:32 +0100
commit8ccb644bfad5f5825252027044a9ba3ae7ed343f (patch)
treefb729478046c7f978809d0d786b3f56aaac8907c
parentmajor changes to CS case study, working example, few issues, major assumptions (diff)
downloadVIATRA-Generator-8ccb644bfad5f5825252027044a9ba3ae7ed343f.tar.gz
VIATRA-Generator-8ccb644bfad5f5825252027044a9ba3ae7ed343f.tar.zst
VIATRA-Generator-8ccb644bfad5f5825252027044a9ba3ae7ed343f.zip
add dreal build
l---------Solvers/dreal4/bazel-bin1
1 files changed, 1 insertions, 0 deletions
diff --git a/Solvers/dreal4/bazel-bin b/Solvers/dreal4/bazel-bin
new file mode 120000
index 00000000..ecea3b7f
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin \ No newline at end of file