You are here:
Package: kissat
Show more informations from pkgdb
| Summary: | Keep It Simple SAT solver |
|---|---|
| Description: | |
| URL: | http://fmv.jku.at/kissat/ |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/kissat |
| Koschei: | https://koschei.fedoraproject.org/package/kissat |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| devel | 3.1.1-4.fc41 | |||
| f40 | testing | 3.1.1-4.fc40 | ||
| base | 3.1.1-4.fc40 | |||
| f39 | base | 3.1.1-1.fc39 | ||
| f38 | updates | 3.1.0-1.fc38 | ||
| base | 3.0.0-3.fc38 | |||
| f37 | updates | 3.1.0-1.fc37 | ||
| base | 3.0.0-2.fc37 | |||
| f36 | base | 0-0.5.sc2021.fc36 | ||
| f35 | base | 0-0.4.sc2021.fc35 | ||
| f34 | base | 0-0.2.20200704gitbaef460.fc34 | ||
| f33 | base | 0-0.1.20200704gitbaef460.fc33 |