Giters

jrcalgo / knowleJ-graph

Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization

Repository from Github https://github.comjrcalgo/knowleJ-graphRepository from Github https://github.comjrcalgo/knowleJ-graph

knowledge-graphlogical-reasoningmachine-learning-optimizationpropositional-logiclibraryneo4j-databaseai-systemsat-solver
About
Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization
knowledge-graphlogical-reasoningmachine-learning-optimizationpropositional-logiclibraryneo4j-databaseai-systemsat-solver
License:MIT License
Languages
Language:Java 76.5%Language:Kotlin 16.8%Language:Python 6.6%