Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#1968
Detection of contradictory assumptions
(from redmine: issue id 1968, created on 2014-03-03, closed on 2014-03-03)
Relations:
duplicates
#1935 (closed)