Skip to content
GitLab
Explore
Sign in
Register
Louvet Jean-Baptiste
CoCoA
Repository
cocoa
..
PredicatesManager
SimplePredicatesManager.scala
Find file
Blame
History
Permalink
Putting 5 as the maximum number of kw in the query to consider keeping adding kws.
· b5846e50
Louvet Jean-Baptiste
authored
Mar 04, 2019
Made the function computeRelevantForAddition more strict.
b5846e50