config.mk « mtl « bvminisat « prop « src - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

index : cvc5.git

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

git repository hosting

summary refs log tree commit diff

path: root/src/prop/bvminisat/mtl/config.mk

blob: b5c36fc6b4918a3c3af6ef58f2ea0baf4a2e9331 (plain)

##
##  This file is for system specific configurations. For instance, on
##  some systems the path to zlib needs to be added. Example:
##
##  CFLAGS += -I/usr/local/include
##  LFLAGS += -L/usr/local/lib

generated by cgit on debian on lair

contact matthew@masot.net with questions or feedback