selen-0.15.5
Platform
Feature flags

docs.rs

Rust

selen 0.15.5

Constraint Satisfaction Problem (CSP) solver

Crate
Source
Builds
Feature flags

..
proposals
AC3_vs_GAC_COMPARISON.md
AGPRICE_ANALYSIS.md
API_MIGRATION.md
API_QUICK_REFERENCE.md
API_REFACTORING_PLAN.md
API_STABILITY.md
ARCHITECTURE_PERFORMANCE_BREAKTHROUGH.md
ARRAY_FLOAT_IMPLEMENTATION.md
batch_optimization_effort_analysis.md
BOUND_INFERENCE_DESIGN.md
callback_methods_fix.md
CODE_STATISTICS.md
competitions.md
CONSTRAINT_ALGORITHMS_ANALYSIS.md
CURRENT_STATUS.md
custom_functions_design.md
DOCUMENTATION_CLEANUP_2025_10.md
DUAL_SIMPLEX.md
efficient_float_solver_design.rs
efficient_solver_plan.md
FAILURE_ANALYSIS.md
FLATZINC_FLOAT_COMPLETE.md
FLATZINC_MIGRATION.md
FLATZINC_SPEC.md
FLOAT_LINEAR_COMPLETE_SUMMARY.md
FLOAT_LINEAR_IMPLEMENTATION_SUMMARY.md
FLOAT_LINEAR_INVESTIGATION.md
FLOAT_PRECISION_FIX.md
FLOAT_PRECISION_TEST_COVERAGE.md
FLOAT_REIF_AND_INT_LIN_NE.md
GAC_IMPLEMENTATION_SUMMARY.md
HEALTH_CHECK.md
IMPLEMENTATION_COMPLETE.md
implementation_plan.md
implementation_progress.md
IMPLEMENTATION_REPORT.md
LONG_CONSTRAINT_NAMES_REMOVAL_COMPLETE.md
LP_BUILD_OPTIMIZATION.md
LP_INTEGRATION_COMPLETE.md
LP_SOLVER.md
LP_SOLVER_COMPLETION_PLAN.md
LP_SOLVER_CSP_INTEGRATION.md
LP_SOLVER_CSP_INTEGRATION_PHASE1_COMPLETE.md
LP_SOLVER_CSP_INTEGRATION_PHASE2_COMPLETE.md
LP_SOLVER_CSP_INTEGRATION_PHASE2_PROGRESS.md
LP_SOLVER_DENSITY_ANALYSIS.md
LP_SOLVER_PERFORMANCE.md
LP_SOLVER_PROGRESS.md
LP_SOLVER_STATISTICS.md
LP_SOLVER_USER_GUIDE.md
MACRO_DEPRECATION.md
MIN_MAX_IMPLEMENTATION_SUMMARY.md
minizinc_examples.txt
MULTIDIM_CONSTRAINTS.md
OPTION_4_COMPLETE.md
PDF_PAGES_REFERENCE.md
PERFORMANCE_OPTIMIZATION_PLAN.md
PHASE2_REIFICATION_COMPARISON.md
PHASE_1_COMPLETION.md
PHASE_1_PERFORMANCE_COMPLETION.md
PHASE_2_COMPLETION.md
PHASE_2_ENHANCEMENT.md
PRECISION_BUG_ANALYSIS.md
PRODUCTION_READINESS_PLAN.md
PROJECT_COMPLETION_SUMMARY.md
README.md
REIFIED_METHODS_ADDED.md
revised_implementation_plan.md
RUNTIME_CONSTRAINT_API_PLAN.md
SELEN_MISSING_FEATURES.md
SELEN_MISSING_FEATURES_REVIEW.md
SESSION_SUMMARY_2025_10_10.md
sparse_set_optimizations.md
step_2_3_4_results.md
step_2_4_results.md
STEP_6_1_COMPLETED.md
step_6_detailed_plan.md
STEP_9_1_COMPLETION_SUMMARY.md
sudoku_benchmark_results.md
SUM_BENCHMARK_BASELINE.md
TABLE_CONSTRAINT_BASELINE.md
TABLE_CONSTRAINT_ENHANCEMENT_REPORT.md
TEST_COVERAGE_SUMMARY.md
trait_based_custom_functions.md
TYPE_CONVERSION_COMPLETE_SUMMARY.md
UNBOUNDED_FLOAT_VARIABLES.md
UNBOUNDED_INFERENCE_IMPLEMENTATION.md
UNBOUNDED_INFERENCE_IMPLEMENTATION_SUMMARY.md
UNBOUNDED_INFERENCE_PLAN.md
UNIT_TESTS_NEW_FUNCTIONS.md
VAR_TO_VAR_EQUALITY_TESTS.md
VARIABLE_TO_VARIABLE_EQUALITY_IMPLEMENTATION.md
ZELEN_MIGRATION_GUIDE.md
ZINC.md
ZINC_AST.md
ZINC_CONSTRAINTS_GAP.md
ZINC_MAPPING.md
ZINC_OUTPUT.md
ZINC_PARSING.md
ZINC_REIFICATION_FIX.md
ZINC_REIFICATION_PHASE1.md

1
2

https://www.xcsp.org/competitions/
https://www.cril.univ-artois.fr/XCSP25/