Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/aclai-lab/solereasoners.jl

This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.

https://github.com/aclai-lab/solereasoners.jl

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
    1 of 4 committers (25.0%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (9.4%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.

Basic Info
Statistics
  • Stars: 3
  • Watchers: 2
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed 11 months ago
Metadata Files
Readme License

README.md

SoleReasoners.jl

Dev Build Status codecov

SoleReasoners is a Julia package for automated reasoning built on top of SoleLogics.jl, and part of Sole.jl, an open-source framework for symbolic machine learning.

Installation

To install SoleReasoners.jl, use the Julia package manager: julia using Pkg Pkg.add("SoleReasoners")

Feature Summary

SoleReasoners.jl provides a SAT solver and an automated theorem prover based on the method of analytic tableaux.

It also provides a Many-Valued version for both algorithms, therefore solving the $\alpha$-satisfiability and $\alpha$-validity problems respectively.

Future work

We are currently working on a modal version of both algorithms which also works with Many-Valued logics.

About

The package is developed by the ACLAI Lab @ University of Ferrara.

More on Sole

Owner

  • Name: Applied Computational Logic and Artificial Intelligence Laboratory
  • Login: aclai-lab
  • Kind: organization
  • Email: aclai@unife.it
  • Location: Italy

Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara

GitHub Events

Total
  • Issues event: 9
  • Watch event: 5
  • Delete event: 4
  • Issue comment event: 2
  • Push event: 84
  • Pull request event: 19
  • Fork event: 1
  • Create event: 9
Last Year
  • Issues event: 9
  • Watch event: 5
  • Delete event: 4
  • Issue comment event: 2
  • Push event: 84
  • Pull request event: 19
  • Fork event: 1
  • Create event: 9

Committers

Last synced: over 1 year ago

All Time
  • Total Commits: 207
  • Total Committers: 4
  • Avg Commits per committer: 51.75
  • Development Distribution Score (DDS): 0.121
Past Year
  • Commits: 128
  • Committers: 4
  • Avg Commits per committer: 32.0
  • Development Distribution Score (DDS): 0.156
Top Committers
Name Email Commits
alberto-paparella a****a@e****t 182
pprlrt@unife.it p****9@g****m 12
giopaglia 2****a 7
CompatHelper Julia c****y@j****g 6
Committer Domains (Top 20 + Academic)
julialang.org: 1 edu.unife.it: 1

Issues and Pull Requests

Last synced: 10 months ago

All Time
  • Total issues: 5
  • Total pull requests: 21
  • Average time to close issues: about 1 month
  • Average time to close pull requests: 5 days
  • Total issue authors: 2
  • Total pull request authors: 2
  • Average comments per issue: 0.4
  • Average comments per pull request: 0.0
  • Merged pull requests: 14
  • Bot issues: 0
  • Bot pull requests: 16
Past Year
  • Issues: 5
  • Pull requests: 14
  • Average time to close issues: about 1 month
  • Average time to close pull requests: 6 days
  • Issue authors: 2
  • Pull request authors: 2
  • Average comments per issue: 0.4
  • Average comments per pull request: 0.0
  • Merged pull requests: 10
  • Bot issues: 0
  • Bot pull requests: 9
View more stats
Top Authors
Issue Authors
  • alberto-paparella (4)
  • giopaglia (1)
Pull Request Authors
  • github-actions[bot] (16)
  • alberto-paparella (5)
Top Labels
Issue Labels
enhancement (3) help wanted (2) bug (1) good first issue (1)
Pull Request Labels

Dependencies

.github/workflows/CompatHelper.yml actions
  • julia-actions/setup-julia v1 composite
.github/workflows/Documentation.yml actions
  • actions/checkout v2 composite
  • julia-actions/setup-julia latest composite
.github/workflows/TagBot.yml actions
  • JuliaRegistries/TagBot v1 composite
.github/workflows/ci.yml actions
  • actions/checkout v2 composite
  • codecov/codecov-action v5 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite