Skip to content

Commit a5cc877

Browse files
fbrnsfbrns
committed
add solver paper pdf
1 parent 1c584ca commit a5cc877

2 files changed

Lines changed: 2 additions & 0 deletions

File tree

‎LabSATSolverPaper.pdf‎

192 KB
Binary file not shown.

‎README.md‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,8 @@ The above computational tasks are solved with respect to the following standard
1616
* Grounded Semantics
1717
* Stable Semantics
1818

19+
The [LabSAT-Solver Paper](LabSATSolverPaper.pdf) contains a detailed description of the technique used.
20+
1921
# Installation
2022

2123
At least java 7, maven, gcc and make are required. The environment variable $JAVA_HOME has to be set accordingly.

0 commit comments

Comments
 (0)