Atur cara mengikut omjstate.sf.net

Perpustakaan Java yang membolehkan penghasilan mesin negeri, termasuk sokongan untuk negeri majmuk, keadaan pengawal (predicates) dalam bahasa pengaturcaraan Java.