{
    "@context": [
        "https://doi.org/10.5063/schema/codemeta-2.0",
        "https://w3id.org/software-iodata",
        "https://raw.githubusercontent.com/jantman/repostatus.org/master/badges/latest/ontology.jsonld",
        "https://schema.org",
        "https://w3id.org/software-types"
    ],
    "@type": "SoftwareSourceCode",
    "author": [
        {
            "@type": "Person",
            "email": "leberre@cril-lab.fr",
            "familyName": "Le Berre",
            "givenName": "Daniel",
            "url": "http://www.cril.univ-artois.fr/~leberre"
        },
        {
            "@type": "Person",
            "email": "parrain@cril.fr",
            "familyName": "Parrain",
            "givenName": "Anne",
            "url": "http://www.cril.univ-artois.fr/~parrain"
        },
        {
            "@type": "Person",
            "email": "sroussel@cril.fr",
            "familyName": "Roussel",
            "givenName": "Stéphanie",
            "url": "http://www.cril.univ-artois.fr/~sroussel/"
        },
        {
            "@type": "Person",
            "email": "lonca@cril.fr",
            "familyName": "Lonca",
            "givenName": "Emmanuel",
            "url": "http://www.cril.univ-artois.fr/~lonca/"
        },
        {
            "@type": "Person",
            "email": "wallon@cril.fr",
            "familyName": "Wallon",
            "givenName": "Romain",
            "url": "http://www.cril.univ-artois.fr/~wallon/"
        }
    ],
    "codeRepository": "https://gitlab.ow2.org/sat4j/sat4j/",
    "description": "\nSat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.\n  ",
    "email": [
        "sat4j-commits@ow2.org",
        "sat4j-dev@ow2.org"
    ],
    "identifier": "org.ow2.sat4j.org.ow2.sat4j.pom",
    "issueTracker": "https://gitlab.ow2.org/sat4j/sat4j/issues",
    "license": [
        "http://spdx.org/licenses/EPL-1.0",
        "http://spdx.org/licenses/GPL-2.0-or-later"
    ],
    "name": "SAT4J",
    "producer": {
        "@type": "Organization",
        "name": "Centre de Recherche en Informatique de Lens (CRIL)",
        "url": "http://www.cril.univ-artois.fr/"
    },
    "programmingLanguage": "Java",
    "runtimePlatform": "Java",
    "softwareRequirements": [
        {
            "@type": "SoftwareApplication",
            "identifier": "junit.junit",
            "name": "junit",
            "version": "4.13.2"
        },
        {
            "@type": "SoftwareApplication",
            "identifier": "org.mockito.mockito-core",
            "name": "mockito-core",
            "version": "4.3.1"
        }
    ],
    "version": "3.0.0-SNAPSHOT"
}