LogicNG

Boolean formula library

A Java library for creating and manipulating Boolean formulas with efficient data structures and algorithms.

The Next Generation Logic Library

GitHub
135 stars
15 watching
26 forks
Language: Java
last commit: 3 months ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related 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