aleksandarmilicevic.github.io/hola
Preview meta tags from the aleksandarmilicevic.github.io website.
Linked Hostnames
6- 2 links togithub.com
- 1 link toaleksandarmilicevic.github.io
- 1 link tord.springer.com
- 1 link tosdg.csail.mit.edu
- 1 link toweb.cs.wpi.edu
- 1 link towww.gnu.org
General Meta Tags
2- titleAlloy*—A General-Purpose, Higher-Order, Relational Constraint Solver
- Content-Typetext/html; charset=iso-8859-1
Link Tags
4- stylesheethttps://netdna.bootstrapcdn.com/bootstrap/3.1.1/css/bootstrap.min.css
- stylesheethttps://netdna.bootstrapcdn.com/bootstrap/3.1.1/css/bootstrap-theme.min.css
- stylesheetcss/custom.css
- stylesheetcss/alloy.css
Links
7- http://sdg.csail.mit.edu
- http://web.cs.wpi.edu/~kfisler/Research/Margrave/index.html
- http://www.gnu.org/licenses/gpl-3.0.txt
- https://aleksandarmilicevic.github.io/papers/icse15-alloystar.pdf
- https://github.com/aleksandarmilicevic/hola/releases/latest