Dmitry Tsarkov
Untitled project
factplusplus
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–4 of 4)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#68: Source code with some objects already compiled
task
major
resolved
Dmitry Tsarkov
2016-11-17
2016-12-31
#70: Lisp dumping sometimes puts use of properties before their declaration
bug
major
resolved
Dmitry Tsarkov
2016-11-28
2016-12-31
#39: Updates from OWL API doesn't go into the reasoner
bug
major
resolved
Dmitry Tsarkov
2011-09-13
2011-09-13
#28: FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails
bug
major
resolved
Dmitry Tsarkov
2010-07-05
2010-07-05