https://github.com/francisol/rsmaxsat

The rsmaxsat is a Rust library that provides bindings for the MaxSAT solver
https://github.com/francisol/rsmaxsat

Last synced: 3 months ago
JSON representation

The rsmaxsat is a Rust library that provides bindings for the MaxSAT solver

• Host: GitHub
• URL: https://github.com/francisol/rsmaxsat
• Owner: francisol
• License: mit
• Created: 2025-01-28T11:41:46.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2025-01-28T15:11:39.000Z (10 months ago)
• Last Synced: 2025-08-02T21:50:02.026Z (4 months ago)
• Language: Rust
• Size: 18.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - rsmaxsat - bindings for [EvalMaxSAT ](https://github.com/FlorentAvellaneda/EvalMaxSAT). (Projects / Libraries)