Difference between revisions of "ApCoCoA-1:SAT.GetResult"
From ApCoCoAWiki
m (Bot: Category moved) |
|||
| Line 18: | Line 18: | ||
<key>SAT.GetResult</key> | <key>SAT.GetResult</key> | ||
<key>GetResult</key> | <key>GetResult</key> | ||
| − | <wiki-category>Package_sat</wiki-category> | + | <wiki-category>ApCoCoA-1:Package_sat</wiki-category> |
</command> | </command> | ||
Revision as of 16:38, 2 October 2020
SAT.GetResult
Looks up the configuration of the indeterminates in the file output produced by a SAT-Solver. The file output must be in the folder ApCoCoA-directory/sat/bin.
Syntax
SAT.GetResult():LIST
Description
@return: List with the configuration of the indeterminates, that solves the polynomial system.
