Pierre-Marie de Rodat 1c2221d657 Adalog: remove the state machine solver and the solver generic interface ...

The old solver is pretty much useless at this stage, so remove it. That
removal in turn makes the generic interface useless, so get rid of it as
well, renaming the symbolic solver to be a substitute and sligthly
adapting it to make it API compatible.

TN: SB20-024

2022-03-30 14:23:21 +00:00

..

main.adb

Adalog tests: remove GNATCOLL traces parsing

2022-03-30 14:23:21 +00:00

test.out

Adalog: remove the state machine solver and the solver generic interface

2022-03-30 14:23:21 +00:00

test.yaml

SB20-024: new solver megacommit

2022-03-30 14:23:21 +00:00