Programy według Dero Gharibian

Solver SAT (MiniSat) oparty na solverze Sudoku. Zapewnia użytkownikom możliwość iteracji za pośrednictwem wszystkich możliwych rozwiązań. Używa kodu macierzystego; testowany na G1/ADP1.