Download JAR files tagged by %3Ehttps: with all dependencies

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" (https://dx.doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García using the "minimum description length" (MDL) heuristic. More details on this algorithm can be found in the book "Grammatical Inference" (https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" (https://dx.doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García using the "evidence-driven state merging" (EDSM) heuristic. More details on this algorithm can be found in the book "Grammatical Inference" (https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.

This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular Sets from Queries and Counterexamples" (https://doi.org/10.1016/0890-5401(87)90052-6) by Dana Angluin including variations and optimizations thereof such as the versions based on "On the Learnability of Infinitary Regular Sets" (https://dx.doi.org/10.1006/inco.1995.1070) by Oded Maler and Amir Pnueli or "Inference of finite automata using homing sequences" (http://dx.doi.org/10.1006/inco.1993.1021) by Ronald L. Rivest and Robert E. Schapire.

This artifact provides the implementation of the model checker presented in the paper "M3C: Modal Meta Model Checking" (https://dx.doi.org/10.1007/978-3-030-00244-2_15) by Bernhard Steffen and Alnis Murtovi. The paper is based on "Model Checking for Context-Free Processes" (https://link.springer.com/chapter/10.1007/BFb0084787) by Olaf Burkart and Bernhard Steffen. Note that this implementation requires a runtime dependency to a specific ADDLib backend (see https://add-lib.scce.info/), which is not explicitly included in this artifact due to packaging reasons.

Provides non-free data, including the EPSG geodetic dataset, in a single read-only JAR file. This 'sis-embedded-data' module contains a copy of EPSG geodetic dataset in an embedded Apache Derby database. Having this module on the classpath avoid the need to set the 'SIS_DATA' environment variable for using the Coordinate Reference Systems (CRS) and Coordinate Operations defined by EPSG. EPSG is maintained by the IOGP Surveying & Positioning Committee and reproduced in this module with same content. See https://www.epsg.org/ for more information.

This package contains several example programs of the usage of the Chips-n-Salsa library. Chips-n-Salsa is a Java library of customizable, hybridizable, iterative, parallel, stochastic, and self-adaptive local search algorithms. Chips-n-Salsa's source code is maintained on GitHub, and the prebuilt jars of the library can be imported from Maven Central using maven or other build tools. The purpose of the package chips-n-salsa-examples is to demonstrate usage of the major functionality of the Chips-n-Salsa library. You can find out more about the Chips-n-Salsa library itself from its website: https://chips-n-salsa.cicirello.org/.

A tool for data backup and consistency. Architecture and technologies: + the classic three-tier architecture is used: Model, DAO, Presentation; + [Spring 6 / Spring Boot 3](https://spring.io/) is the reference framework; + [SQLite](https://sqlite.org/) is the underlying database; + [Spring Data JPA](https://docs.spring.io/spring-data/jpa/docs/current/reference/html/) with [Hibernate](https://hibernate.org/) is used as ORM; + JPA entities are separated objects; + `Finder` and DCI roles from [TheseFoolishThings](http://tidalwave.it/projects/thesefoolishthings) are used; + [SLF4J](https://slf4j.org) and [Logback](https://logback.qos.ch) are used for logging; + [TestNG](https://testng.org) and [Mockito](https://site.mockito.org/) are used for testing; + [Lombok](https://projectlombok.org) is used for cleaner code.