Mace stands for "Models And Counter-Examples", and is an automated theorem prover based on model generation It is GNU GPL licensed.
References
Models And Counter-Examples Wikipedia(Text) CC BY-SA
Models And Counter Examples
Updated on
Edit
Like
Comment
Similar Topics