Web Directory
 

ICOT Free Software

  Link Details for: ICOT Free Software
Link Title: ICOT Free Software Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
ICOT Free Software