Gera instâncias do problema de satisfabilidade O TKSATGEN é um aplicativo gratuito e aberto que pode gerar instâncias relativamente difíceis do problema de satisfabilidade. Requisitos: · Java 1.6 ou mais tarde O que há de novo nesta versão: · Esta é a primeira versão
softwaresea.com fornece o mais recente centro de download de software verde gratuito em casa e no exterior, incluindo software de computador, aplicativo da apple, aplicativo Android e outros downloads de software móvel gratuito para computador. Se você quiser saber mais sobre o software livre verde, baixe-o em softwaresea.com!