search

SciProgCentre / kmath

Kotlin mathematics extensions library
653 stars 55 forks source link

Add boolean logic binding for LogicNG #516

Open SPC-code opened 1 year ago

SPC-code commented 1 year ago

https://github.com/logic-ng/LogicNG

czengler commented 1 year ago

LogicNG Team here! If we can be of any help - let us now!

SPC-code commented 1 year ago

@czengler Nice to meet you. The idea of this issue is to create an Algebra that operates on booleans and then add an integration with MST symbolic expressions. It will add and ability to combine boolean logic with different algebras (like tensor algebras). Also, it will allow to solve boolean problems without language interpreter.

Right now, the issue is on backlog, but if there is a demand for it, probably somebody could take it sooner.