Thousands of Models for Theorem Provers
The TMTP Model Library

Geoff Sutcliffe
Department of Computer Science
University of Miami, USA

geoff[@]cs.miami.edu