CoSA2? about cosa HOT 3 CLOSED

We actually went public a couple months ago, but I totally forgot to respond until @ahmed-irfan just reminded me.

Here's the link: https://github.com/upscale-project/cosa2/

from cosa.

Hello, thanks for your interest in CoSA2! Unfortunately, we are not public yet, but we hope to be soon (we're shooting for a couple weeks, but no promises).

In the meantime, there is a pre-release available:

wget https://web.stanford.edu/~makaim/files/cosa2-linux
chmod +x cosa2-linux
./cosa2-linux --help

The help message is currently pretty brief but should get you started. One thing to note is that it currently only checks one of the bads in the BTOR2 file. You can select which one using -p.

This pre-release version is not the exact one that ran for the competition. It should be faster, but we haven't thoroughly tested that yet. I can also make the competition build available if there's interest in that.

Once we go public, I'll add a comment with a pointer and close this issue.

from cosa.

Congratulations on the public release!!

from cosa.