Add documentation on quantifier simplification

WatForm / fortress

Fortress: Finite Model Finder for Many-Sorted First-Order Logic

MIT License

5 stars 0 forks source link

Closed ryandancy closed 4 months ago

ryandancy commented 4 months ago

This adds documentation for the transformations performed by AntiPrenexTransformer and SimplifyWithScalarQuantifiersTransformer.