All releases of Koalog Constraint Solver

  •  14 Dec 2005 17:57
Avatar

    Release Notes: New constraints and heuristics have been added to Koalog Constraint Solver. There is now a generic mechanism to "shave" the variables. The naming scheme for the constraints is now more uniform. Finally, the performance of Koalog Constraint Solver has been improved.

    •  31 Aug 2005 17:52
    Avatar

      Release Notes: Real ANYTIME constraint solving has been introduced. A hierarchy of consistency exceptions allows basic failure explanations. Some new constraints have been added or optimized.

      •  04 Jul 2005 11:37
      Avatar

        Release Notes: New constraints have been added to the constraint library. The support matrix of the software has been updated. Minor bugs have been fixed.

        •  02 Feb 2005 17:35
        Avatar

          Release Notes: This release contains new constraints. In particular, a global constraint for matrix allocation has been added (ColoredMatrix). Various small fixes increase the overall performance of the solver.

          •  08 Nov 2004 10:06
          Avatar

            Release Notes: This version now includes a Local Search solver useful for solving huge problems when exact methods are too slow. Exact (Constraint Programming) and approximate (Local Search) methods are well integrated in the new hierarchy of solvers. This version is now supported on Java 5.

            •  25 Aug 2004 16:20
            Avatar

              Release Notes: The API for disjunctive scheduling has been refactored a lot. In particular, a Disjunctive constraint has been added which makes the modeling of problems such as the Job Shop a very easy task. Moreover, this release includes various optimizations in choice points, constraints, and constraint schedulers. Minor bugs have been fixed.

              •  17 Jun 2004 16:31
              Avatar

                Release Notes: Koalog Constraint Solver has been optimized. This release also includes new constraints on sets. Moreover, a new API makes it possible to store arbitrary data on the choice point stack (allowing the writing of incremental algorithms for global constraints).

                •  06 May 2004 14:51
                Avatar

                  Release Notes: The Koalog Constraint Solver API has been simplified a lot, and is now more intuitive and easy to use. Moreover, many useless constraints have been removed while some new, more generic constraints have been addded. Finally, choice points have been optimized. Many new code examples are now available from the KCS Web site.

                  •  14 Jan 2004 12:01
                  Avatar

                    Release Notes: Constraint relation has been added, and constraint complexities are now dynamically computed.

                    •  15 Aug 2003 16:16
                    Avatar

                      Release Notes: This release includes many new features. Koalog Constraint Solver now includes a solver over set domains (only integer domains were supported in previous releases) and many constraints over set variables: contains, intersection, union, card, etc. Many new global constraints such as GCC, ColoredMatrix, and AllDifferent (a new algorithm) have also been added to the solver, dramatically increasing its efficiency.

                      Screenshot

                      Project Spotlight

                      episoder

                      A tool to tell you about new episodes of your favourite TV shows.

                      Screenshot

                      Project Spotlight

                      BalanceNG

                      A modern software IP load balancer.