Search results

Documentation

Status: Open.

#30 In erohkohl/mlsolver;

· decadenza opened on May 25, 2022

License ?

Status: Open.

#29 In erohkohl/mlsolver;

· suprafun opened on Sep 27, 2020

tableau.py return minimal Kripke Structure, that solves modal logic formula

feature

Status: Open.

#26 In erohkohl/mlsolver;

· erohkohl opened on Sep 23, 2017

formula.py: implement commutative property in __eq__() for And- and Or-operator.

bug

Status: Open.

#25 In erohkohl/mlsolver;

· erohkohl opened on Aug 31, 2017

And, Or operator with *agrs and multiple length.

refactoring

Status: Open.

#20 In erohkohl/mlsolver;

· erohkohl opened on Aug 9, 2017