chrjabs.gimsatul
This is a portfolio style parallel SAT-solver which physically shares clauses between different solving threads. This is made possible by using separate watcher data structures for each solver thread and keeping the actual clause data immutable. This allows to share large clauses between threads through atomic reference counting, which in turn allows not only sharing the original large (and binary) clauses but also much more aggressive sharing of learned clauses during the search while keeping the overall memory foot-print small.
- Name
- gimsatul
- Main Program
gimsatul- Homepage
- Version
- 1.1.3
- License
- Maintainers
- Platforms
- i686-cygwin
- x86_64-cygwin
- x86_64-darwin
- aarch64-darwin
- i686-freebsd
- x86_64-freebsd
- aarch64-freebsd
- x86_64-solaris
- aarch64-linux
- armv5tel-linux
- armv6l-linux
- armv7a-linux
- armv7l-linux
- i686-linux
- loongarch64-linux
- m68k-linux
- microblaze-linux
- microblazeel-linux
- mips-linux
- mips64-linux
- mips64el-linux
- mipsel-linux
- powerpc-linux
- powerpc64-linux
- powerpc64le-linux
- riscv32-linux
- riscv64-linux
- s390-linux
- s390x-linux
- x86_64-linux
- aarch64-netbsd
- armv6l-netbsd
- armv7a-netbsd
- armv7l-netbsd
- i686-netbsd
- m68k-netbsd
- mipsel-netbsd
- powerpc-netbsd
- riscv32-netbsd
- riscv64-netbsd
- x86_64-netbsd
- i686-openbsd
- x86_64-openbsd
- x86_64-redox
- Defined
- Source