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 download

Lzip 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 download

Lzip 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 ...