William Cotton

focus subsets of benchmark suites would allow easier use of the tool with less computational cost, for faster development turn around. The idea is you have a suite and a...

to participate in the SAT competition, we need to support proof tracing also, maybe an in-memory proof xo solver will be useful.

Need some creative pre/in processing techniques.

The benchmarking tool needs to be able to manage active runs better. Currently, it assumes all runs are complete when doing comparisons.

go-sat vs gini

1

Go-sat's goals were previously accomplished in gini (http://github.com/irifrance/gini), which is pretty competitive with picosat and minisat and all-go. Could you put a reference in the README.md which suggests gini as...

new package not showing up

2

Hi, I tried adding zikichombo.org/sound zikichombo.org/dsp zikichombo.org/sio zikichombo.org/codec zikichombo.org/plug and it doesn't show up, but it says the packages are successfully added.

security vulnerability

1

Hello, I'm using engimo and have the following report from github """ We found a potential security vulnerability in one of your dependencies. A dependency defined in …/engimo/package-lock.json has known...

I have a vanity domain which wants to serve web pages at go-get-able paths when there is no ?go-get=1 in the request. Would like to propose that gopkg allow this

There is something wrong with the parsing of hwmcc16/6s*aig. aiger files. So far, we've observed there are lots of constants in these files, making them not reduced aigs and it...

unreliability in C callback APIs which execute the callback on foreign thread

9

This issue is to address the overhead in cgo->go callbacks in [host entry points](http://godoc.org/zikichombo.org/sio/host#Entry) which interface with a C API which executes a client callback on a special thread. AAudio,...