Contents
Menu
Expand
Light mode
Dark mode
Auto light/dark, in light mode
Auto light/dark, in dark mode
Skip to content
Sat
Back to top
Index – T
to_polynomial() (sage.sat.converters.polybori.CNFEncoder method)