cspsolver 0.7.0

Constraint Satisfaction Problem (CSP) solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

# Changelog

All notable changes to this project will be documented in this file.

## [0.7.0] - 2025-09-21
- Hidden internal API methods from documentation
- Removed broken constraint builder imports
- Cleaned up public API documentation

## [0.6.4] - 2025-09-20
- Memory safety improvements - eliminated all unsafe blocks
- Result-based error handling
- Major refactoring of module structure

## [0.6.3] - 2025-09-20
- Enhanced SolveStats with timing, memory, and problem size tracking
- Advanced constraints: between, cardinality, conditional
- Runtime API improvements (betw, atleast, atmost)
- Fixed all compile warnings

## [0.6.0] - 2025-09-19
- Runtime API for dynamic constraint building
- Enhanced statistics system
- Global constraints support
- Performance improvements

## [0.5.17] - 2025-09-18
- Documentation fixes

## [0.5.15] - 2025-09-18
- Between and cardinality constraints
- Table, count, and element constraints
- AllEqual constraint with array syntax
- Refactored precision optimizer

## [0.5.11] - 2025-09-16
- New functionality implemented

## [0.5.9] - 2025-09-15
- Model validation before solving
- Better static heuristics
- Fixed multiplication constraints

## [0.5.8] - 2025-09-15
- Better static heuristics
- Moved benchmarks

## [0.5.5] - 2025-09-14
- Indexed variable support
- Timeout and memory limit handling
- SolverConfig for time and memory configuration
- Simple SolverError enum

## [0.5.3] - 2025-09-13
- Support for large domains in sparse_set
- Boolean variable initialization improvements
- Documentation fixes

## [0.5.2] - 2025-09-13
- New macro for float int

## [0.5.1] - 2025-09-13
- Renamed domain creation

## [0.5.0] - 2025-09-13
- Post! and postall! macros
- Clean syntax for constraints
- AND/OR/NOT operators
- Min/max global constraints
- Precision optimization with ULP
- Core float bounds optimizer

## [0.3.15] - 2025-09-09
- Configurable model precision
- FloatInterval struct implementation
- Fixed intervals structure

## [0.3.12] - 2025-07-08
- Document examples
- Missing doc attributes

## [0.3.11] - 2025-06-08
- new_var_with_values method for creating variables with specific values
- Removed obsolete tests

## [0.3.9] - 2025-05-07
- Sparse_set implementation
- Fixed propagation bugs

## [0.3.7] - 2025-04-07
- AllDifferent GAC and sparse set
- Sudoku examples and image assets
- Hybrid branching strategies
- Next/Prev views

## [0.3.5] - 2025-03-20
- Node count implementation
- solve_with_callback functionality

## [0.3.4] - 2025-02-20
- Tests for variable creation and domain constraints
- GitHub Actions workflow
- Fixed mixed int float constraints

## [0.3.3-alpha] - 2025-01-20
- Search functionality with state management
- Renamed package from "csp" to "cspsolver"
- Initial package setup

## [0.1.x, 0.2.x] - 2016
- Old architecture based on miniCP