Download JAR files tagged by arxiv with all dependencies

Java implementation of the jump consistent hashing algorithm from Lamping and Veach. Paper http://arxiv.org/ftp/arxiv/papers/1406/1406.2294.pdf.

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis "Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus Frohme.

syāt is a suite of declarative modelling tools for statistical analysis. Global constraints and modeling tools covered in this library have been originally introduced in Rossi et al., "Declarative Statistics", 2017 (https://arxiv.org/abs/1708.01829).