Chương trình theo multi.sf.net

Multi là một công cụ kiểm tra tạo ra các ý tưởng thử nghiệm từ các toán tử boolean và rational. Nó được viết bằng Java, và bao gồm cả một GUI, applet, và dòng lệnh tiện ích.