dekker.one
Flat White Vitriol - An incremental solver protocol for combinatorial solving using shared objects
1language = "C"
2
3# Wrapping header contents
4include_guard = "fznso_types_h"
5documentation_style = "c99"
6sys_includes = ["stdbool.h", "stdint.h"]
7no_includes = true
8usize_is_size_t = true
9
10[export]
11include = [
12 "FznsoAnnotation",
13 "FznsoConstraintList",
14 "FznsoConstraintType",
15 "FznsoModel",
16 "FznsoModelMethods",
17 "FznsoModelRef",
18 "FznsoObjective",
19 "FznsoObjectiveList",
20 "FznsoOption",
21 "FznsoOptionList",
22 "FznsoSolution",
23 "FznsoSolutionMethods",
24 "FznsoSolutionRef",
25 "FznsoSolver",
26 "FznsoStatistic",
27 "FznsoStatisticList",
28 "FznsoStatus",
29 "FznsoType",
30 "FznsoTypeBase",
31 "FznsoTypeList",
32 "FznsoValue",
33 "FznsoValueKind",
34 "FznsoValueMethods",
35 "FznsoValueRef",
36]