simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add travis build status to README

Browse source
This commit is contained in:
Guillaume Bury 2016-07-23 14:07:40 +02:00 • committed by GitHub
parent 0a4b812924
commit a0b810f520
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -1,4 +1,4 @@
# MSAT # MSAT [![Build Status](https://travis-ci.org/Gbury/mSAT.svg?branch=master)](https://travis-ci.org/Gbury/mSAT)
MSAT is an OCaml library that features a modular SAT-solver and some MSAT is an OCaml library that features a modular SAT-solver and some
extensions (including SMT). This is **work in progress**. extensions (including SMT). This is **work in progress**.