Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#1794
CProver: Add binding for ASSUME and GUARANTEE atoms
(from redmine: issue id 1794, created on 2013-10-15, closed on 2013-10-15)