Pith. sign in

REVIEW 1 cited by

MiniZinc with Strings

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1608.03650 v1 pith:B2L5TXWO submitted 2016-08-12 cs.PL

Roberto Amadini , Pierre Flener , Justin Pearson , Joseph D. Scott , Peter J. Stuckey , Guido Tack This is my paper · ORCID
classification cs.PL
keywords stringsstringconstraintsminizincmodelmodellingproblemsvariables
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analysis and verification, testing, model checking, and web security. Nevertheless, practically no CP solver natively supports string constraints. We introduce string variables and a suitable set of string constraints as builtin features of the MiniZinc modelling language. Furthermore, we define an interpreter for converting a MiniZinc model with strings into a FlatZinc instance relying on only integer variables. This provides a user-friendly interface for modelling combinatorial problems with strings, and enables both string and non-string solvers to actually solve such problems.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Towards Constraint Logic Programming over Strings for Test Data Generation

    cs.LO 2019-08 conditional novelty 4.0 of 10

    A prototype CLP solver over strings using finite automata can generate valid German IBANs and date expressions, with speed comparable to an existing solver on the IBAN case.

Pith tools