mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-09 12:45:48 -05:00
9 lines
425 B
Text
9 lines
425 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.zarith)
|
|
(flags :standard -warn-error -a+8 -safe-string -color always -open Sidekick_util))
|