Personal website
Rudolf Adamkovič
Home
/
Computer science
Flip
A short for
a
negation
of a variable
in the context of
SAT
.
© 2025
Rudolf Adamkovič
under
GNU General Public License
version 3.
Made with
Emacs
and secret alien technologies of yesteryear.