File tree Expand file tree Collapse file tree 1 file changed +11
-0
lines changed
Expand file tree Collapse file tree 1 file changed +11
-0
lines changed Original file line number Diff line number Diff line change 1+ | ** Build status** | ** Coverage** |
2+ | :-----------------:| :----------------:|
3+ | [ ![ ] [ travis-img ]] [ travis-url ] [ ![ ] [ appveyor-img ]] [ appveyor-url ] | [ ![ ] [ codecov-img ]] [ codecov-url ] |
4+
15# FirstOrderLogic
26
37This is a Julia package for parsing, manipulating and evaluating formulas in first-order logic.
8+
9+ [ codecov-img ] : https://codecov.io/gh/roberthoenig/FirstOrderLogic.jl/branch/master/graph/badge.svg
10+ [ codecov-url ] : https://codecov.io/gh/roberthoenig/FirstOrderLogic.jl
11+ [ travis-img ] : https://travis-ci.org/roberthoenig/FirstOrderLogic.jl.svg?branch=master
12+ [ travis-url ] : https://travis-ci.org/roberthoenig/FirstOrderLogic.jl
13+ [ appveyor-img ] : https://ci.appveyor.com/api/projects/status/rn8exp4696vo9co5/branch/master?svg=true
14+ [ appveyor-url ] : https://ci.appveyor.com/project/roberthoenig/firstorderlogic-jl/branch/master
You can’t perform that action at this time.
0 commit comments