#
# Option specification file for CVC4
# See src/options/README for a description of this file format
#
id = "$id"
name = "$camel"
header = "options/$dir_options.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback