minisat-ml

Status do projeto: Desconhecido

Faithful reimplementation of Minisat 2.2 in OCaml.

Software ou hardware estudado: Minisat 2.2
Tipo de trabalho: Reimplementação e compatibilidade
Repositório público principal: github.com/imandra-ai/minisat-ml

Os projetos são ordenados pela última contagem de estrelas registrada. Estrelas indicam interesse, não progresso. Contagens indisponíveis permanecem desconhecidas.

Os metadados do repositório precisam ser atualizados. A ficha em cache continua disponível.

Descrição e escopo

Faithful reimplementation of Minisat 2.2 in OCaml.

Aceitação de contribuições

Política de contribuição desconhecida

Política de contribuições com auxílio de IA: Não informada

Sistemas documentados para contribuir

Ambiente de contribuição não documentado

Progresso informado

Progresso não informado

Código-fonte, compilações e versões

Abrir repositório · github.comgithub.com/imandra-ai/minisat-ml