Skip to content

ChemLog compatibility

Choose a tag to compare

View all tags
@sfluegel05 sfluegel05 released this 27 Mar 13:31
· 23 commits to dev since this release
0.1.7
be172d8
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

In order to support the ChemLog package, we added some useful features to the first-order logic representation. This includes:

  • syntactic equality checks (e.g. two variables with the same name are always equal)
  • n-ary disjunction and conjunction
  • translations from binary to n-ary operations and vice-versa
  • conversion of formulas to NNF and CNF
  • detection and substitution of variables in formulas
Assets 2
Loading