Models And Counter-Examples

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Mace stands for "Models And Counter-Examples", and is an automated theorem prover based on model generation[1] It is GNU GPL licensed.[2]

References[edit]

  1. ^ William McCune home site
  2. ^ See COPYING file in the tarball.

See also[edit]

External links[edit]