Skip to content

Commit

Permalink
remove typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Wout4 committed Jan 19, 2024
1 parent 283eac4 commit f592e5e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/modeling.md
Original file line number Diff line number Diff line change
Expand Up @@ -595,7 +595,7 @@ Assumption variables are usefull for incremental solving when you want to activa
By relying on the solver interface directly as in the previous section, the state of the solver is kept in between solve-calls.
Many explanation-generation algorithms (see `cpmpy.tools.explain`) make use of this feature to speed up the solving.

pythonupdate tests
```python
import cpmpy as cp

x = cp.intvar(1,5, shape=5, name="x")
Expand All @@ -614,7 +614,7 @@ s += assump.implies([c1,c2,c3])
s.solve(assumptions=assump[0,1]) # Will be SAT
s.solve(assumptions=assump[0,1,2]) # Will be UNSAT
s.solve(assumptions=assump[1,2]) # Will be SAT

```



Expand Down

0 comments on commit f592e5e

Please sign in to comment.