SAT solver (Q21055608)
Jump to navigation
Jump to search
computer program for the Boolean satisfiability problem
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SAT solver |
computer program for the Boolean satisfiability problem |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki SAT solver