Merge pull request #12 from krr-up/nico/tests

Nico/tests
potassco · May 13, 2024 · 499ce6b · 499ce6b
2 parents 2f4af45 + e7e21e1
commit 499ce6b
Show file tree

Hide file tree

Showing 29 changed files with 1,641 additions and 396 deletions.
diff --git a/.gitignore b/.gitignore
@@ -37,3 +37,6 @@ _autosummary
 
 # ANTLR4
 .antlr
+
+
+default.profraw
diff --git a/README.md b/README.md
@@ -18,7 +18,7 @@ coomsolver -h
 
 ## Name ideas
 
-- coomsuite
+- coomsuite (favorite)
 - coompiler
 - coompressor
 - coom2asp

diff --git a/doc/content/encodings/index.md b/doc/content/encodings/index.md
@@ -1,6 +1,18 @@
 # ASP Encodings
 
-Descriptions of ASP encodings.
+There are three modular COOM language profiles with different levels of features.
+They are modular in the sense that `clingo-core.lp` forms the basis for the other ones.
+The `clingo-partonomy.lp` and `clingo-numeric.lp` encoding can be combined arbitrarily with the core encoding.
+
+The `encodings/clingo-core.lp` contains all features of the kids bike.
+
+## fclingo
+The `fclingo` solver allows hybrid ASP reasoning
+combined with founded conditional linear constraints.
+This makes it possible to reason over (large) numeric domains
+which are frequent in configuration problems.
+
+Like the `clingo` encodings the `fclingo` encodings are built in a modular structure.
 
 ```{toctree}
 instance.md
Original file line number	Diff line number	Diff line change
Expand Up		@@ -37,3 +37,6 @@ _autosummary

		# ANTLR4
		.antlr


		default.profraw