Rudolf Adamkovič Personal site


TSAT

A variant of GSAT that uses

a tabu list with the most recently flipped variables.

(Mazure et al., 1997)


© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.