project('cadical',
  'cpp',
  version: '1.7.4',
  license: 'mit',
  default_options: [
    'cpp_std=c++11',
    'buildtype=release',
    'default_library=static',
    'b_ndebug=if-release',
    'warning_level=0'
  ]
)

subdir('src')