DIMACS variables do not appear as decls

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

BSD 2-Clause "Simplified" License

80 stars 17 forks source link

Closed bclement-ocp closed 11 months ago

bclement-ocp commented 1 year ago

They should probably be declared the first time they are encountered or something similar.

Gbury commented 11 months ago

This is solved by #199