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

Seperate the Engine from the FOSolver #4

Open
Tracked by #83
giltho opened this issue Feb 29, 2020 · 0 comments
Open
Tracked by #83

Seperate the Engine from the FOSolver #4

giltho opened this issue Feb 29, 2020 · 0 comments
Labels
cleanup difficult

Comments

@giltho
Copy link
Contributor

giltho commented Feb 29, 2020

This is a bit difficult to do, but would be nice.
The question is what to do with SSubst ? It seems to be part of the Engine, but is used heavily in the FOSolver. Maybe the engine has to be separated in two parts?
@giltho giltho added the enhancement New feature or request label Feb 29, 2020
@NatKarmios NatKarmios added difficult cleanup and removed enhancement New feature or request labels Nov 17, 2022
@NatKarmios NatKarmios mentioned this issue Feb 23, 2023
Open
54 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cleanup difficult
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@giltho @NatKarmios