SolverForge
Rust-based constraint solver library using WASM modules and HTTP communication
Tag: Rust
Architecture
How SolverForge uses WASM and HTTP to solve constraints
Solver Configuration
Configure solver behavior with SolverConfig and TerminationConfig
SolverForge Core
Complete reference documentation for the solverforge-core Rust library
Domain Model
Build domain models with DomainModel, DomainClass, and FieldDescriptor
Expressions
Build predicate expressions with the Expression API
Installation
Add SolverForge to your Rust project and set up the solver service
API Quick Reference
Cheat sheet for common SolverForge APIs
Constraint Streams
Build constraints with forEach, filter, join, groupBy, and more
Planning Annotations
Configure planning behavior with PlanningAnnotation types
Concepts
Understand the core concepts behind SolverForge
Constraint Satisfaction
Core concepts of constraint satisfaction and optimization problems
Error Handling
Handle SolverForgeError types and troubleshoot common issues
Solver Factory
Create and run solvers with SolverFactory and Solver
Joiners
Efficiently match entities with equal, lessThan, overlapping, and filtering joiners
Module Builder
Generate WASM modules with WasmModuleBuilder
Quickstart
Build and run your first constraint solver
Collectors
Aggregate values with count, sum, average, min, max, toList, toSet, and loadBalance
Field Types
Supported field types including primitives, objects, collections, and scores
Domain Modeling
Define your planning domain with DomainModel, classes, and fields
Score Types
Understand SimpleScore, HardSoftScore, HardMediumSoftScore, and BendableScore
Constraints
Define hard and soft constraints using the constraint streams API
Solver
Configure and run the constraint solver
WASM Generation
Generate WASM modules for constraint predicates
Reference
API reference and quick lookup guides
Rust Quickstart
Build your first constraint solver with the SolverForge Rust core library