search

meelgroup / bosphorus

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

Fix for #8 #9

Closed avinashvarna closed 5 years ago

avinashvarna commented 5 years ago

Fix #8 by NULL terminating arguments to execl and printing correct error message to stderr.