Vegard Nossum comments

Repositories
Issues
Comments

Results 13 comments of


                                            Vegard Nossum

Practical Use Case Example

Hi, thanks for the interest :-) Unfortunately I don't think there are any examples yet where SAT solvers have an advantage. For me, this program (and my thesis) was a...

Practical Use Case Example

I encourage you to take a small CNF (or boolean circuit) and try to convert it to DNF or ANF by hand, it's a very enlightening experience :-) About adding...

Cleaned up compile errors and warnings

Hi! Are you sure you don't want to contribute to this fork instead? https://github.com/rednex/rgbds It's a newer and more active fork.