Yices op Windows (XP)

   1. Je download het programma op http://yices.csl.sri.com/download.shtml (de windows-versie)
   2. Je pakt alles uit in een map. Bijvoorbeeld C:/Program Files/Yices
   3. Je maakt een tekst-file in de vorm van test.smt zoals op de site.
   4. Sla de tekstfile op als filename.smt (zorg dat hij niet per ongeluk filename.smt.txt heet, of iets dergelijks)
   5. Je zet deze tekstfile in de map 'bin' in de yices map, bijvoorbeeld: C:\Program Files\Yices\yices-1.0.28\bin
   6. Je opent de commandline (Windowstoets + R --> cmd)
   7. Je navigeert middels 'cd ..' naar de map 'bin' in yices. Bijvoorbeeld: 'cd C:\Program Files\Yices\yices-1.0.28\bin'
   8. Met de aanroep yices -smt -e filename.smt roep je yices aan op de gemaakte .smt-file.