ApCoCoA-1:SAT.GetResult: Difference between revisions
From ApCoCoAWiki
No edit summary |
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.
