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 --- Application/hu.bme.mit.inf.dslreasoner.application/.gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/.gitignore') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore index 1a9ea807..3197db31 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore +++ b/Application/hu.bme.mit.inf.dslreasoner.application/.gitignore @@ -1,2 +1,2 @@ /bin/ -/xtend-gen/* \ No newline at end of file +/xtend-gen/ \ No newline at end of file -- cgit v1.2.3-54-g00ecf