python-nnf icon indicating copy to clipboard operation
python-nnf copied to clipboard
verified publisher icon QuMuLab

Implement a d4 wrapper

Open haz opened this issue 3 years ago • 0 comments

Similar to the dsharp one, it would be useful to have d4 wrapped as well. Many instances are more readily solved with it instead of dsharp

haz avatar Jan 12 '22 15:01 haz