Move first version to standalone directory

f93791f4 · François Bobot · b146b421 · f93791f4 · f93791f4 · f93791f4
Commit f93791f4 authored 3 years ago by François Bobot
--- a/acasxu.why
+++ b/acasxu.why
--- a/config.ml
+++ b/config.ml
--- a/config.mli
+++ b/config.mli
--- a/dune
+++ b/dune
--- a/engine.ml
+++ b/engine.ml
--- a/engine.mli
+++ b/engine.mli
--- a/main.ml
+++ b/main.ml
--- a/marabou.ml
+++ b/marabou.ml
--- a/marabou.mli
+++ b/marabou.mli
--- a/model.ml
+++ b/model.ml
--- a/model.mli
+++ b/model.mli
--- a/property.ml
+++ b/property.ml
--- a/property.mli
+++ b/property.mli
--- a/property_lexer.mll
+++ b/property_lexer.mll
--- a/property_parser.mly
+++ b/property_parser.mly
--- a/property_types.mli
+++ b/property_types.mli
--- a/pyrat.ml
+++ b/pyrat.ml
--- a/pyrat.mli
+++ b/pyrat.mli
--- a/solver.ml
+++ b/solver.ml
--- a/solver.mli
+++ b/solver.mli