This website requires JavaScript.
Explore
SSH Host Keys
Package Repositories
Git Workflow Documentation
Help
Sign In
pool
/
minisat
SHA256
Watch
17
Star
0
Fork
2
You've already forked minisat
Code
Issues
Pull Requests
Activity
22
Commits
3
Branches
0
Tags
factory
Go to file
Add File
New File
Upload File
Apply Patch
Code
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Jiri Slaby
5101e7ad29
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
_service
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
_servicedata
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
.gitattributes
Accepting request 337407 from home:jirislaby:statica
2015-10-09 09:58:31 +00:00
.gitignore
Accepting request 337407 from home:jirislaby:statica
2015-10-09 09:58:31 +00:00
0001-CMakeLists-support-different-lib-dirs.patch
rpath fix
2022-07-27 07:30:48 +00:00
CMakeLists-use-absolute-libdir-in-rpath-handling.patch
rpath fix
2022-07-27 07:30:48 +00:00
minisat-2.2.1+20230206.obscpio
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
minisat.changes
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
minisat.obsinfo
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
minisat.spec
up to 2.2.1+20230206
2025-04-17 08:14:49 +02:00
Description
No description provided
290
KiB
Languages
Diff
100%
