GitHub repository: morclerc/formulacreator
Primary language: Java
Created: 2021-02-22T18:42:14Z
Description: A formula creator to create logical formulas like knf and dnf and to test them for an interpretation.