search

meelgroup / bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Other
67 stars 18 forks source link

Typo in debian package 'biral-dev' -> 'brial-dev' #6

Closed cassiersg closed 5 years ago

msoos commented 5 years ago

Thanks for the PR, merged :)