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

KnowledgeBase uses Solver::Determines() to optimize simple queries. 

Queries of the form K<k> [t=n] or K<k> [t=x] are now evaluated
using Solver::Determines().
parent de177a2d
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