Consola (Baseada em Texto) (6)

SAT SCheme

SAT Solver in plain C99 and the Scheme programming language.

Tabard

"Multiple GNU Prolog Engines in a Distributed Environment"

"Tabard provides a way to run multiple GNU Prolog engines in a distributed environment. The environment can be a cluster of networked workstations or a set of workstations wide-spread by the Internet. In fact, these workstations need only to be running Linux and have ssh/rsh access."

WinShares

"WinShares is a linux program that scans the network and mounts all windows and samba shares available, allowing to browse them. It uses CIFS VFS and it's writen in shell script."

Yap Prolog

Compilador de Prolog de alto desempenho.

Conteúdo sindicado