added

.travis.yml

+language: c
+dist: bionic
+osx_image: xcode10.2
+compiler:
+- gcc
+- clang
+os:
+- linux
+- osx
+branches:
+- master

README

-KISSAT is a "keep it simple and clean bare metal SAT solver" written in C.
-It is a port of CaDiCaL back to C with improved data structures, better
-scheduling of inprocessing and optimized algorithms and implementation.
-
-Coincidentally 'kissat' also means 'cats' in Finnish.
-
-Run './configure && make test' to configure, build and test in 'build'.

README.md

+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+[![Build Status](https://travis-ci.org/arminbiere/kissat.svg?branch=master)](https://travis-ci.org/arminbiere/kissat)
+
+The Kissat SAT Solver
+=====================
+
+Kissat is a "keep it simple and clean bare metal SAT solver" written in C.
+It is a port of CaDiCaL back to C with improved data structures, better
+scheduling of inprocessing and optimized algorithms and implementation.
+
+Coincidentally "kissat" also means "cats" in Finnish.
+
+Run `./configure && make test` to configure, build and test in `build`.