Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Constraint
:
ICOT Free Software
Link Details for:
ICOT Free Software
Link Title:
ICOT Free Software
Link URL:
ftp://ftp.icot.or.jp/ifs/
Link Details:
Free constraint software developed by Institute for New Generation Computer Technology (ICOT), Japan: Constraint MGTP (CMGTP) model generation theorem prover (MGTP), MGTP-G, KLIC, some cu-Prologs, and documents. FTP site.
Category:
Top : Computers : Programming : Languages : Constraint
Link Type:
ScreenShot: