From f5afda733ffdf4f52da932e03919c20b99bf7fa6 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 15 Dec 2020 13:18:17 -0500 Subject: Add config flag for selecting numeric solver. Integ with Z3 --- .../hu/bme/mit/inf/dslreasoner/application/execution/.gitignore | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore deleted file mode 100644 index 5c89fb5b..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/execution/.gitignore +++ /dev/null @@ -1,9 +0,0 @@ -/.GenerationTaskExecutor.java._trace -/.NullWorkspace.java._trace -/.MetamodelLoader.java._trace -/.ModelLoader.java._trace -/.QueryLoader.java._trace -/.ScopeLoader.java._trace -/.ScriptConsole.java._trace -/.ScriptExecutor.java._trace -/.SolverLoader.java._trace -- cgit v1.2.3-54-g00ecf