rssn 0.2.9

A comprehensive scientific computing library for Rust, aiming for feature parity with NumPy and SymPy.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! FFI bindings for symbolic logic operations.
//!
//! This module exposes foreign function interface (FFI) bindings for propositional
//! and first-order logic, including formula construction, simplification, and
//! satisfiability checking.

/// Bincode-based FFI bindings for symbolic logic operations.
pub mod bincode_api;
/// Handle-based FFI bindings for logic formulas using opaque `Expr` handles.
pub mod handle;
/// JSON-based FFI bindings for logic formulas using serialized expressions.
pub mod json;