Skip to main navigation
Skip to search
Skip to main content
Royal Holloway Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Activities
Prizes
Datasets
Search by expertise, name or affiliation
OSTRICH: String Constraint Solver
Matthew Hague
(Creator)
Philipp Ruemmer
(Creator)
Department of Computer Science
Dataset
Overview
Date made available
2018
Publisher
Royal Holloway, University of London
Access Dataset
https://github.com/pruemmer/ostrich
Cite this
DataSetCite
Hague, M. (Creator), Ruemmer, P. (Creator) (
2018
). OSTRICH: String Constraint Solver. Royal Holloway, University of London.