SAT SCheme

Enviado em Abril 23rd, 2007 by xpete
in
Responsáveis
ajrm
pdestroy

SAT Solver in plain C99 and the Scheme programming language.

Lançamentos

Recursos

Apoio

0

Submeter um novo comentário

O conteúdo deste campo é privado e não irá ser exibido publicamente.
enable javascript to use the editor
  • As linhas e os parágrafos quebram automaticamente
  • Endereços de páginas web e endereços de e-mail são transformados em links automaticamente.
  • Each email address will be obfuscated in a human readble fashion or (if JavaScript is enabled) replaced with a spamproof clickable link.
  • Highlight terms in this textarea.
  • Textual smileys will be replaced with graphical ones.
CAPTCHA
Esta pergunta serve para verificar se o utilizador é humano e para prevenir o envio automático de spam.
2 + 9 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.
Conteúdo sindicado