Published December 12, 2023
| Version v1
Software
Open
MaxSLIM Anytime MaxSAT Solver
Files
MaxSLIM.zip
Files
(65.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:4cb2a4fb03e194587a7c154c56889f44
|
65.9 MB | Preview Download |