Skip to content
Snippets Groups Projects
Commit b7f883ed authored by Mikhail Rachinskiy's avatar Mikhail Rachinskiy
Browse files

BoolTools: Add preference to choose boolean solver 

Add preference to choose boolean solver.
Also refactor preferences UI so humans could actually read it.
parent 4744a96b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment