LogicNG
Boolean formula library
A Java library for creating and manipulating Boolean formulas with efficient data structures and algorithms.
The Next Generation Logic Library
135 stars
15 watching
26 forks
Language: Java
last commit: almost 2 years agoLinked from 1 awesome list
akullpp/awesome-javaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ninjarobot/pengines.client | A F# client library that provides a simple interface to interact with a sandboxed Prolog environment for querying and evaluating logic rules. | 10 |
 juj/mathgeolib | A C++ library for linear algebra and geometry manipulation used in computer graphics | 694 |
 lsils/mockturtle | A C++ library for analyzing and manipulating logic networks | 214 |
 grosser/bitfields | A Ruby library that enables efficient storage and querying of multiple boolean values in a single integer | 223 |
 jvranish/minikanrent | An implementation of logic programming concepts in Haskell | 76 |
 ahgamut/blis | A software framework that instantiates high-performance linear algebra libraries | 4 |
 awalterschulze/gominikanren | An implementation of a logic programming language in Go | 38 |
 haskell/fgl | A library that provides an inductive approach to dealing with graphs | 184 |
 aggregateknowledge/java-hll | A Java library implementing a probabilistic set data structure for counting distinct values with tunable precision | 313 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
 jpa99/algorithms | A collection of various useful algorithms and data structures implemented in Java | 128 |
 circuitgraph/circuitgraph | A Python library for working with digital circuits as graphs | 110 |
 neo4j-labs/graph | A high-performance graph algorithm library built on top of the graph_builder crate. | 390 |
 visualcomputing/nub | A Java-based rendering and interaction processing library supporting 2D and 3D graphics and animation. | 34 |
 cloudkj/lambda-ml | A machine learning library written in Lisp (Clojure) providing simple implementations of various algorithms and utilities. | 76 |