Skip to content
Commit 285b3f89 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Implemented complex queries. 

Queries are converted to CNF and quantifiers are grounded.
parent 82306e12
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment