search

ideas-edu / logictools

Logic tools
https://www.bendevries.com/logictools/main
Apache License 2.0
1 stars 0 forks source link

Fix missing connective constraint #384

Closed BenEdV closed 2 years ago

BenEdV commented 2 years ago

Resolves #380 Test here