Dmitry Tsarkov
Untitled project
factplusplus
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–1 of 1)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#77: No inference when using "one of" and functional properties.
bug
critical
invalid
1
2017-11-06
2017-11-13