Revision history [back]
 | 1 | initial version |
As you can see, the is_satisfiable() method uses the truthtable() method to find the answer. You can do the same and print satisfying assignments:
sage: for row in f.truthtable().get_table_list()[1:]:
....: if row[-1]:
....: print row[:-1]
[False, True]
[True, False]
[True, True]
