]> git.pld-linux.org Git - packages/picosat.git/log
projects / packages / picosat.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
packages/picosat.git
5 years agonew, version 6bc069c master auto/th/picosat-965-1
commit | commitdiff | tree
Elan Ruusamäe [Sat, 1 Dec 2018 22:30:39 +0000 (00:30 +0200)]
new, version 6bc069c

based on fedora package

A SAT solver
This page took 0.069944 seconds and 4 git commands to generate.