diaz freeware downloads
GNU Prolog for Linux
1.5.0 freeware download... constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C ...
GNU Prolog for Mac OS X
1.5.0 freeware download... constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C ...
GNU Prolog for Windows (x32 bit)
1.5.0 freeware download... constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C ...
GNU Prolog for Windows (x64 bit)
1.5.0 freeware download... constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C ...
Lzip
1.22 freeware downloadLzip is a lossless data compressor based on the LZMA algorithm, with very safe integrity checking and a user interface similar to the one of gzip ...
Lzip for Linux
1.22 freeware downloadLzip is a lossless data compressor based on the LZMA algorithm, with very safe integrity checking and a user interface similar to the one of gzip ...