Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

2157 add more sublogics for propositional #2160

Open
wants to merge 19 commits into
base: master
Choose a base branch
from
Open

2157 add more sublogics for propositional #2160

wants to merge 19 commits into from

Conversation

JoKurth
Copy link
Collaborator

@JoKurth JoKurth commented Jul 8, 2024

Implemented additional sublogics for propositional

JoKurth added 19 commits June 12, 2024 00:24
@JoKurth
added some new sublogics for propositional
ba0110d
@JoKurth
format of propositional formulae is now a set to support multiple res…
5667f15 
…trictions
@JoKurth
added hets binary to gitignore
4d8a64f
@JoKurth
added functions to check whether a formula is in NNF, DNF, CNF or Hor…
4d03d24 
…n, respectively
@JoKurth
added a function that computes the sublogic of a formula
b41e609
@JoKurth
removed function jointType because it is not used anymore
1f482cb
@JoKurth
fixed compareLE and changed delimiter in sublogics_name
dc53973
@JoKurth
removed PlainFormula from PropFormulae; it is now represented as an e…
1b80496 
…mpty set
@JoKurth
added exports for newly created functions
632affb
@JoKurth
updated sl_form and exports; fixed a bug in checkHorn
128a32a
@JoKurth
fixed some bugs that occured during testing
d3e2f17
@JoKurth
added test output to gitignore
7f8f2fa
@JoKurth
fixed some problems that occured during testing
e18156c
@JoKurth
implemented testing for sublogics in propositional
dd1d3fc
@JoKurth
fixed a bug in tests for propositional
bfc757e
@JoKurth
added HornFormula as a new type of sublogic
932c8fa
@JoKurth
fixed a bug in tests for propositional
6e7098a
@JoKurth
fixed a bug in tests for propositional
602d570
@JoKurth
fixed a bug in tests for propositional
cee920a
@JoKurth JoKurth marked this pull request as ready for review July 16, 2024 10:45
@JoKurth JoKurth requested a review from tillmo July 16, 2024 10:45
@JoKurth JoKurth self-assigned this Jul 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tillmo tillmo Awaiting requested review from tillmo

At least 1 approving review is required to merge this pull request.

Assignees

@JoKurth JoKurth

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@JoKurth