Package Details: kissat 4.0.1-2

Git Clone URL: https://aur.archlinux.org/kissat.git (read-only, click to copy)
Package Base: kissat
Description: A keep it simple and clean bare metal SAT solver written in C
Upstream URL: https://fmv.jku.at/kissat
Licenses: MIT
Conflicts: kitty
Submitter: meadow
Maintainer: meadow
Last Packager: meadow
Votes: 1
Popularity: 0.008132
First Submitted: 2024-03-23 13:10 (UTC)
Last Updated: 2024-11-12 10:23 (UTC)

Dependencies (1)

Sources (1)

Latest Comments

meadow commented on 2024-11-12 10:24 (UTC)

Thanks for reporting this! I added kitty to conflicts

bluedevil commented on 2024-11-12 07:56 (UTC)

Conflicts with terminal emulator kitty

error: failed to commit transaction (conflicting files)
kissat: /usr/bin/kitten exists in filesystem (owned by kitty)

I have removed kitty and problem solved