Search results

Add travis-ci badge in README.

Status: Merged (completed).

c-cube/ocaml-minisatnumber 3

#3 In c-cube/ocaml-minisat;

· by maelvls was closed on Oct 26, 2016

Added travis-ci and appveyor continuous integration

Status: Merged (completed).

c-cube/ocaml-minisatnumber 2

#2 In c-cube/ocaml-minisat;

· by maelvls was closed on Oct 26, 2016

Make ocaml-minisat friendly with continuous integration

Status: Merged (completed).

c-cube/ocaml-minisatnumber 1

#1 In c-cube/ocaml-minisat;

· by maelvls was closed on Oct 25, 2016