←Backlogic-ng/LogicNG0Copy as MarkdownView on GitHub↗153 stars·32 forks·Java·Apache-2.0·0 viewsLogicNGFeaturesScientific Computing - Manipulates and solves Boolean and Pseudo-Boolean formulas.