Tyé Singwa issues

Repositories
Issues
Comments

Results 3 issues of


                                            Tyé Singwa

Explicitly specify git diff prefixes

This should resolve #394. Added explicit arguments for src & dst prefixes for `git diff` command.

Patch parse error: Explicitly state src-prefix & dest-prefix for git diff command

Hi! i've encounter an issue when using this tool. It failed with patch parsing error. From logs i could see that somehow my system setup uses different prefixes while producing...

add kissat support

Hi, this is attempt to add kissat support to pysat Cannot add some features: - no incremental support - no assumptions - no propagation Checked on linux + windows