SIMPLE SOLUTIONS

Manual pages

Scope: BRICS tools.

[ Alias ↣ ] Name (section) Brief
mona(1) A decision procedure for the logics WS1S and WS2S.
Go top Index Scopes