project('kissat',
  'c',
  version: '3.0.0',
  license: 'mit',
  default_options: [
    'c_std=c99',
    'buildtype=release',
    'default_library=static',
    'b_ndebug=if-release',
    'warning_level=0',
    'optimization=3',
  ]
)

subdir('src')