GitHub topics: multivalued-logic

extension of quine-mccluskey minimization of logical expressions from boolean to multivalued

Language: Python - Size: 7.81 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Human Logic

Language: TypeScript - Size: 708 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks

Language: Python - Size: 9.81 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 2

Multivalued logic systems in OCaml.

Language: OCaml - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions

Language: Java - Size: 49.8 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Stateless behavior trees for C# 7

Language: C# - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 19 - Forks: 3

An implementation of Spencer Brown's Laws of Form in Agda

Language: Agda - Size: 182 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Language: C# - Size: 16.6 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

Related Keywords

ecosyste.ms