sci-mathematics / kodkod

a constraint solver for relational logic

Official package sites : http://alloy.mit.edu/kodkod/index.html ·

Kodkod is an efficient SAT-based constraint solver for first order logic with relations, transitive closure, bit-vector arithmetic, and partial models. It provides analyses for both satisfiable and unsatisfiable problems: a finite model finder for the former and a minimal unsatisfiable core extractor for the latter. Kodkod is used in a wide range of applications, including code checking, test-case generation, declarative execution, declarative configuration, and lightweight analysis of Alloy, UML, and Isabelle/HOL.

v1.5.2-r1 :: 0/1.5.2 :: gentoo (Masked by set 3343)

Modified
License
MIT
Keywords
~amd64 ~x86
USE flags
doc source

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
source
Zip the sources and install them

elibc

FreeBSD
ELIBC setting for systems that use the FreeBSD C library

app-arch / unzip : unzipper for pkzip-compressed files

app-arch / zip : Info ZIP (encryption support)

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

virtual / jdk : Virtual for Java Development Kit (JDK)

app-arch / zip : Info ZIP (encryption support)

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

virtual / jre : Virtual for Java Runtime Environment (JRE)


3343
Michał Górny
sci-mathematics/kodkod: reported to fail to build. Last bumped in 2012. Homepage is gone, and sources are nowhere to be found. Removal in 30 days. Bug #685802.
  • sci-mathematics/kodkod
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USE
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michael Mair-Keimberger · gentoo
sci-mathematics/kodkod: remove old
David Seifert · gentoo
sci-mathematics/kodkod: [QA] Add missing python metadata variables
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Mark Wright · gentoo
sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to
mgorny for reporting. Gentoo-bug: 593380 Package-Manager: portage-2.3.3
Justin Lecher · gentoo
Convert URIs for googlecode.com to https
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed