Issues (1–5 of 5)

Title	T	P	Status	Assignee	Created	Updated
#6: Reached timeout in JFact even if not set	bug	major	resolved	Giuseppe Cota	2018-02-27	2018-02-28
#5: fact++ not working in this example?	bug	major	resolved	Giuseppe Cota	2018-02-22	2018-02-27
#4: maxExplanations not working?	bug	major	resolved	Giuseppe Cota	2018-02-22	2018-02-23
#2: When the ontology is consistent, it throws an exception	bug	major	resolved	Giuseppe Cota	2018-02-08	2018-02-08
#1: Long form of option --verbose does not work	bug	major	resolved	Giuseppe Cota	2018-02-08	2018-02-08