PyPI recent updates for dsuni https://pypi.org/project/dsuni/ Recent updates to the Python Package Index for dsuni en 0.1.1 https://pypi.org/project/dsuni/0.1.1/ A modular constraint solver — SAT, SMT, LP, MILP, CP, MINLP Thu, 04 Jun 2026 08:20:56 GMT