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

SMT solver wrappers #18

Open
3 of 4 tasks
alexcere opened this issue Jun 1, 2022 · 0 comments
Open
3 of 4 tasks

SMT solver wrappers #18

alexcere opened this issue Jun 1, 2022 · 0 comments

Comments

@alexcere
Copy link
Member

alexcere commented Jun 1, 2022 •
edited
Loading

  • Create a base class with the functionality needed from SMT solvers
  • Instantiate the base class with Z3
  • Instantiate the base class with OptiMathSat
  • Instantiate the base class with Barcelogic
alexcere added a commit that referenced this issue Jun 10, 2022
@alexcere
#18 Define the methods every solver must instantiate
b8632bf
alexcere added a commit that referenced this issue Jun 10, 2022
@alexcere
#18 Abstract class for solvers using executables
3a505bd
alexcere added a commit that referenced this issue Jun 10, 2022
@alexcere
#18 Z3 executable implementation
35513be
alexcere added a commit that referenced this issue Jun 11, 2022
@alexcere
#18 OMS executable added
abd990c
alexcere added a commit that referenced this issue Jun 11, 2022
@alexcere
#18 Sort declaration in solver
654b245
alexcere added a commit that referenced this issue Jun 11, 2022
@alexcere
#18 Fix expression with arguments translation
9a967ea
alexcere added a commit that referenced this issue Jun 13, 2022
@alexcere
#18 Get value configured for abstract classes and concrete solvers
5747969
alexcere added a commit that referenced this issue Jun 15, 2022
@alexcere
#18 Optimization outcome for solvers
7998e38
alexcere added a commit that referenced this issue Jun 20, 2022
@alexcere
#18 Optimization outcome added to check_sat
c0dd0bb
alexcere added a commit that referenced this issue Jun 20, 2022
@alexcere
#18 Add time statistics to solver
aa15985
alexcere added a commit that referenced this issue Jun 20, 2022
@alexcere
#18 Add timeout to solver
a523d26
@alexcere alexcere reopened this Jun 21, 2022
alexcere added a commit that referenced this issue Sep 17, 2022
@alexcere
#18 Include UNSAT output case
9ee330a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@alexcere