dummy-link

CDCL

Conflict Driven Clause Learning in Julia

Readme

CDCL.jl

Build Status

codecov.io

CDCL.jl is a simple implementation of the Conflict Driven Clause Learning

Documentation

Installation

Pkg.clone("https://github.com/zenna/CDCL.jl.git")

CDCL is then loaded with:

using CDCL

First Commit

12/01/2017

Last Touched

over 1 year ago

Commits

1 commits

Used By: