mirror of
https://github.com/c-cube/sidekick.git
synced 2026-01-21 16:56:41 -05:00
9 lines
444 B
Text
9 lines
444 B
Text
(library
|
|
(name sidekick_base_solver)
|
|
(public_name sidekick-base.solver)
|
|
(synopsis "Instantiation of solver and theories for Sidekick_base")
|
|
(libraries sidekick-base sidekick.core sidekick.smt-solver
|
|
sidekick.th-bool-static
|
|
sidekick.mini-cc sidekick.th-data
|
|
sidekick.arith-lra sidekick.arith-lia sidekick.zarith)
|
|
(flags :standard -warn-error -a+8 -safe-string -color always -open Sidekick_util))
|