Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/y-yu/SATySFi-docs

Docs for https://github.com/gfngfn/SATySFi
https://github.com/y-yu/SATySFi-docs

Last synced: about 6 hours ago
JSON representation

Docs for https://github.com/gfngfn/SATySFi

Host: GitHub
URL: https://github.com/y-yu/SATySFi-docs
Owner: y-yu
Created: 2018-02-17T08:34:12.000Z (over 6 years ago)
Default Branch: master
Last Pushed: 2019-03-27T17:12:22.000Z (over 5 years ago)
Last Synced: 2024-08-03T17:14:27.310Z (3 months ago)
Language: Shell
Homepage:
Size: 10.2 MB
Stars: 2
Watchers: 3
Forks: 0
Open Issues: 1
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

awesome-satysfi - SATySFi-docs - Docs for SATySFi (Uncategorized / Uncategorized)

README

        SATySFi Docs

==========================

[![Build Status](https://travis-ci.org/y-yu/SATySFi-docs.svg?branch=master)](https://travis-ci.org/y-yu/SATySFi-docs)

## Artifacts

- [primitives.pdf](https://y-yu.github.io/SATySFi-docs/primitives.pdf)

- [lang.pdf](https://y-yu.github.io/SATySFi-docs/lang.pdf)

- [math1.pdf](https://y-yu.github.io/SATySFi-docs/math1.pdf)