1prefix=@prefix@
2exec_prefix=@exec_prefix@
3libdir=@libdir@
4includedir=@includedir@
5datarootdir=@prefix@/share
6datadir=@datadir@
7
8Name: CVC3
9Description: Automatic theorem prover for Satisfiability Modulo Theories (SMT) problems
10Version: @VERSION@
11Libs: -L${libdir} -lcvc3
12Cflags: -I${includedir}
13