sage.logic.propcalc allows one to see if a sentence in propositional logic is satisfiable.
The documentation has
sage: f = propcalc.formula("a|b") sage: f.is_satisfiable() True
Is there a syntax that would give a satisfying assignment? I'd like something like
sage: f.is_satisfiable(show) a:=True, b:=True
The documentation doesn't give the syntax, but I'm betting it's there somewhere.