# Do I have this consistency?

## Explanation

This program tells you whether consistency of x < y for cardinal invariants x and y can be deduced or not using transitivity from known theorems of inequality and known consistency results. 

## How to use?

Directly open index.html in your browser. (You don't need to create a web server.)

## Third-party libraries

This repository bundles the following third-party file:

- cytoscape-node-html-label.min.js
  - copyright: Copyright (c) 2017 Kalugin Sergey
  - license: MIT
  - from: https://github.com/kaluginserg/cytoscape-node-html-label