I have a script I use to convert a boolean function into an equivalent
CNF boolean function so I can use a SAT solver on arbitrary boolean
functions. I hoped to use SymbolicLogic, but it was so lacking, I
rolled my own. Off with its head!
On Thu, Jul 11, 2013 at 3:07 PM, William Stein <wst...@gmail.com> wrote:
> Hi,
>
> Does anybody (know of anybody that) actually uses the SymbolicLogic()
> object in Sage? You know, this:
>
> sage: s = SymbolicLogic()
> sage: s.statement("A->B")
> [['OPAREN', 'A', 'IFTHEN', 'B', 'CPAREN'], {'A': 'False', 'B':
> 'False'}, ['A', 'B']]
>
> I've had about 6 students (and myself) look at that code, and it is
> hard to imagine that it is used by anybody.
>
> In particular, would anybody object to possibly replacing it, possibly
> with something that has a (completely) different API, which is much
> better?
>
> I've never heard of anybody using this code, and think of people had,
> then they would have complained... It's mainly aimed at "a first
> course in writing proofs" type teaching/educational applications.
>
> -- William
>
>
>
>
> --
> William Stein
> Professor of Mathematics
> University of Washington
> http://wstein.org
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
