Change solver to bitwuzla #674

New issue

Copy link

New issue

Copy link

Open

Open

Change solver to bitwuzla#674

Copy link

Assignees

Labels

enhancementNew feature or requestNew feature or request

Description

ladisgin

opened on Mar 22, 2024

Issue body actions

No description provided.

Reactions are currently unavailable

Activity

1. ladisgin

   added

   enhancementNew feature or requestNew feature or request

   on Mar 22, 2024
2. ladisgin

   self-assigned this

   on Mar 22, 2024
3. korifey

   added this to UTBot C/C++on Mar 22, 2024
4. github-project-automation

   moved this to Todo in UTBot C/C++on Mar 22, 2024
5. ladisgin

   changed the title [-]Change solver to bitwula[/-] [+]Change solver to bitwuzla[/+] on Mar 22, 2024

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

• 
  ladisgin

Labels

enhancementNew feature or requestNew feature or request

Type

No type

Projects

• UTBot C/C++

  Status

  Todo

  Show more project fields

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app