# The INCLUDE and LIB directories to build the '_boolector' extension.
# You may also set them using the options '-I' and '-L'.
[build_ext]

[metadata]
license_file = LICENSE