Data

Tools

Indexes

Applications

Experiments

Open Source Science

sat4j

Mirror of https://gitlab.ow2.org/sat4j/sat4j

https://github.com/visualon/sat4j

Science Score: 36.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ✓
    Committers with academic emails
    8 of 23 committers (34.8%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (8.4%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

Mirror of https://gitlab.ow2.org/sat4j/sat4j

Basic Info
  • Host: GitHub
  • Owner: visualon
  • License: other
  • Language: Java
  • Default Branch: main
  • Homepage:
  • Size: 22.8 MB
Statistics
  • Stars: 0
  • Watchers: 3
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 7 years ago · Last pushed over 1 year ago
Metadata Files
Readme License Codemeta

README.md

Quality Gate Status pipeline status

HOW TO DOWNLOAD SAT4J JAR FILES

HOW TO GET HELP?

It is possible to get help from the community on our RocketChat channel.

HOW TO BUILD SAT4J FROM SOURCE

Using Maven (library users)

Just launch

shell $ mvn -DskipTests=true install

to build the SAT4J modules from the source tree.

All the dependencies will be gathered by Maven.

Using ant (solvers users)

Just type:

shell $ ant [core,pseudo,maxsat,sat]

to build the solvers from source.

The solvers will be available in the directory dist/CUSTOM.

You may want to use a custom release name.

shell $ ant -Drelease=MINE maxsat

In that case, the solvers will be available in the directory dist/MINE.

Type

shell $ ant -p

to see available options.

Owner

  • Name: VisualOn GmbH
  • Login: visualon
  • Kind: organization
  • Location: Magdeburg, Germany

CodeMeta (codemeta.json) 

{
  "@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"
}

GitHub Events

Total
  • Push event: 1
Last Year
  • Push event: 1

Committers

Last synced: 11 months ago

All Time
  • Total Commits: 3,034
  • Total Committers: 23
  • Avg Commits per committer: 131.913
  • Development Distribution Score (DDS): 0.393
Past Year
  • Commits: 7
  • Committers: 1
  • Avg Commits per committer: 7.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
leberre l****e@b****1 1,842
Daniel Le Berre d****e@u****r 448
sroussel s****l@b****1 242
lonca l****a@b****1 198
parrain p****n@b****1 82
Daniel Le Berre l****e@c****r 44
Romain WALLON w****n@c****r 29
Lonca Emmanuel e****a@u****r 27
Romain Wallon r****n@u****r 19
daniel d****"@b****1 19
Blomme Anthony a****e@e****r 15
Romain Wallon r****n@e****r 14
Anne Parrain p****n@c****r 14
Anne Parrain a****n@f****r 10
tfalque.ext t****e@e****m 9
anterak13 a****3@b****1 5
gbasler g****r@b****1 4
Jan Elffers e****s@k****e 3
emmanuel lonca l****a@c****r 3
Anthony Blomme b****e@c****r 2
Vaclav Haisman v****n@g****m 2
Antoine Mottier a****r@o****g 2
Romain WALLON r****n@p****u 1
Committer Domains (Top 20 + Academic)
cril.fr: 4 univ-artois.fr: 3 ens.univ-artois.fr: 2 polytechnique.edu: 1 ow2.org: 1 kth.se: 1 exakis-nelite.com: 1 free.fr: 1 cril.univ-artois.fr: 1

Issues and Pull Requests

Last synced: 11 months ago

All Time
  • Total issues: 0
  • Total pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Total issue authors: 0
  • Total pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
Top Labels
Issue Labels
Pull Request Labels

Dependencies

org.sat4j.br4cp/pom.xml maven
  • org.ow2.sat4j:org.ow2.sat4j.core ${project.version}
  • junit:junit 4.4 test
org.sat4j.maxsat/pom.xml maven
  • org.ow2.sat4j:org.ow2.sat4j.core ${project.version} compile
  • org.ow2.sat4j:org.ow2.sat4j.pb ${project.version} compile
  • commons-cli:commons-cli 1.2
org.sat4j.pb/pom.xml maven
  • org.ow2.sat4j:org.ow2.sat4j.core ${project.version}
  • junit:junit 4.4 test
  • org.ow2.sat4j:org.ow2.sat4j.core ${project.version} test
org.sat4j.sat/pom.xml maven
  • org.ow2.sat4j:org.ow2.sat4j.core ${project.version} compile
  • org.ow2.sat4j:org.ow2.sat4j.maxsat ${project.version} compile
  • org.ow2.sat4j:org.ow2.sat4j.pb ${project.version} compile
  • commons-beanutils:commons-beanutils 1.8.3
  • commons-cli:commons-cli 1.2
  • net.sf.jchart2d:jchart2d 3.3.2
pom.xml maven
  • junit:junit 4.12 test
  • org.mockito:mockito-all 1.9.5 test
org.sat4j.core/pom.xml maven