New GUI of the SATVAL code.

Marcin Smolira Juliusz Sielanko

Published in: Ann. UMCS Informatica (2005)

Keyphrases

source code
user friendly
graphical user interface
user interface
special case
machine learning
software engineering
operating system
test cases
error correcting
linux kernel