@hackage / toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

0.9.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / ersatz-toysat toysat driver as backend for ersatz
- Version: 0.2.2.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / qhull Delaunay triangulation, Voronoi diagrams and convex hulls.
- Version: 0.1.0.4
- Last uploaded: 3 years ago
- License: GPL-3.0-only
@hackage / satchmo-toysat toysat driver as backend for satchmo
- Version: 0.2.1.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause