Skip to content
/ knowleJ-graph Public

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

License

MIT license
1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

jrcalgo/knowleJ-graph

Error
Looks like something went wrong!

About

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

Topics

library neo4j-database knowledge-graph propositional-logic logical-reasoning ai-system neurosymbolic-ai machine-learning-optimization

License

MIT license
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages