Atur cara mengikut plman.sf.net

  • PLMan - Propositional Logic Parser Percuma

    PLMan adalah penghuraian ayat logik cadangan / kalkulator dengan pembolehubahmengendalikan keupayaan yang dilaksanakan di Jawa, yang bermaksud bahawa ia berjalan pada setiap JVMpersekitaran yang dipasang (Unix, Linux, Win