Satz (Q7426981)
Jump to navigation
Jump to search
SAT instance solver
- SatZ
Language | Label | Description | Also known as |
---|---|---|---|
English | Satz |
SAT instance solver |
|
Statements
Satz (English)
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Satz (SAT solver)