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