Package Details: limboole 1.2-2

Git Clone URL: https://aur.archlinux.org/limboole.git (read-only, click to copy)
Package Base: limboole
Description: A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas.
Upstream URL: http://fmv.jku.at/limboole/
Keywords: SAT solver
Licenses: GPL3
Submitter: pointhi
Maintainer: gilcu3
Last Packager: gilcu3
Votes: 0
Popularity: 0.000000
First Submitted: 2015-11-24 17:46 (UTC)
Last Updated: 2022-09-05 10:19 (UTC)

Latest Comments

profiluefter commented on 2024-10-26 19:44 (UTC)

@spatchcock and others: it seems like removing the --depqbf flag makes the -s option work. Not sure how that affects other parts of the tool.

diff --git a/PKGBUILD b/PKGBUILD
index 86fcdf7..d1f6c47 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -37,7 +37,7 @@ build() {
   # build limboole
   cd "../$pkgname$pkgver"
   mkdir -p log
-  ./configure.sh --picosat --depqbf
+  ./configure.sh --picosat
   make
 }

gilcu3 commented on 2022-09-05 10:20 (UTC)

@carlosal1015 I just fixed the compilation problem, it should work now

carlosal1015 commented on 2022-01-10 18:51 (UTC)

Hi, I have the following message error

==> Making package: limboole 1.2-1 (Mon 10 Jan 2022 01:32:23 PM -05)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> WARNING: Using existing $srcdir/ tree
==> Starting build()...
version ... 960
debug ... no
log ... no
stats ... no
trace ... no
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... gcc
cflags ... -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions         -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security         -fstack-clash-protection -fcf-protection
makefile ...sed: -e expression #2, char 85: unknown option to `s'
 done
make: *** No targets.  Stop.
==> ERROR: A failure occurred in build().

spatchcock commented on 2021-10-03 09:19 (UTC)

Ehmm... Could you please make the -s option work ? I know that the binary i compiled via make (without makepkg) from the source works with the -s option.

Corship commented on 2020-12-06 11:34 (UTC)

The checksum is outdated. The file limboole1.2.tgz from http://fmv.jku.at/limboole/ has the sha256sum 32eaa68a8159d9b07d3d04773b8fbce81a56a0c401482f81b145bed267b563e5