#

predicate

Here are 2 public repositories matching this topic...

Spxg / predicate

Use enum to predicate something, support | and & operator.

rust filter boolean assert predicate

Updated Oct 19, 2021
Rust

ixjf / logic-rs

A parser of relational predicate logic & truth tree solver, written in Rust.

rust parser consistency logic wasm order first validity pest relational tautology predicate formulas contingency truth-tree first-order formal-validity contradiction

Updated May 1, 2019
Rust

Improve this page

Add a description, image, and links to the predicate topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the predicate topic, visit your repo's landing page and select "manage topics."