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

Nico/preprocess facts #14

Merged
merged 41 commits into from
May 24, 2024
Merged

Nico/preprocess facts #14

merged 41 commits into from
May 24, 2024

Conversation

nrueh
Copy link
Collaborator

@nrueh nrueh commented Apr 17, 2024

closes #11

@nrueh nrueh self-assigned this Apr 17, 2024
Nicolas Rühling and others added 22 commits April 18, 2024 12:28
rewrote core and kids bike with processed fact format
0d1935f
rewritten partonomy encoding and city bike
96a1863
started preprocess encoding
467135d
added aux_instance to preprocess.lp
7772280
Merge branch 'nico/tests' into nico/preprocess-facts
01e74ce
preprocess converts to dot path format
6da689f
changed fact format for constraints and combinations. added require a…
60d8955 
…nd condition to preprocess.lp
preprocess.lp works for kids and city bike
16a9a38
minor
033de15
fix bug with boolean enum
5758018
root is empty string. renamed instance/2 predicate to included/1 and …
429fa06 
…others. made val choice rule domain
modularized encodings and added core and partonomy for fclingo
88fa211
implemented preprocessing for clingo. trying for fclingo
432b57e
fclingo integration for core and partonomy
051a3fa
fixed coom output format
f4a105b
fixed pylint and typecheck
0e75b08
fixed almost all tests
3c415dd
fixed fclingo test
be68475
@nrueh
Merge branch 'master' into nico/preprocess-facts
2b1962e
removed duplicate test
e139a52
added numeric encoding for preprocessed facts
c46e6a5
preprocess encoding extended for numerics. integrated into package fo…
1ec0a70 
…r clingo.
@nrueh
Copy link
Collaborator Author

nrueh commented May 13, 2024 •
edited
Loading

TODO:

  • Add fclingo support for numerics
  • Extend with tests for partonomy and numerics

@nrueh nrueh marked this pull request as ready for review May 24, 2024 15:20
@nrueh nrueh merged commit bb0c379 into master May 24, 2024
3 checks passed
@nrueh nrueh deleted the nico/preprocess-facts branch May 24, 2024 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@nrueh nrueh

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add preprocessing for fact format
1 participant
@nrueh