1 Pull request merged by 1 person

• check if argument is negative or positive in abs decomp

  #595 merged Feb 28, 2025

3 Pull requests opened by 2 people

• Add optional dependencies to `setup.py`

  #599 opened Feb 26, 2025

• Add `pindakaas` solver

  #600 opened Feb 28, 2025

• Fix dimacs tempfile for windows

  #601 opened Feb 28, 2025

1 Issue closed by 1 person

• Error with Float division

  #585 closed Feb 28, 2025

6 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Pysat wsum

  #114 commented on Feb 27, 2025 • 1 new comment

• Multi dim element optimisation

  #534 commented on Mar 1, 2025 • 0 new comments

• Support PySAT native cardinality constraints when supported

  #588 commented on Feb 28, 2025 • 0 new comments

• Numerical IfThenElse

  #594 commented on Feb 28, 2025 • 0 new comments

• Table has subexpr

  #596 commented on Feb 26, 2025 • 0 new comments

• XCSP3 in tools

  #597 commented on Feb 28, 2025 • 0 new comments