sugar

SAT-based Constraint Solver

---

Build for x86_64-musl, version 2.3.2_{_2}. Builds for all architectures.

---

Details

Homepage:

https://cspsat.gitlab.io/sugar/

License:

BSD-3-Clause

Maintainer:

Tai Chi Minh Ralph Eastwood

Built at:

2022-10-29 16:20

Source files:

https://cspsat.gitlab.io/sugar/package/sugar-v2-3-2.zip

Installed size:

206.17 KiB

Popularity:

No usages in 107 reports

Depending on:

java-runtime