|
JaCoP version 3.2 released |
 |
 |
 |
|
Written by Krzysztof Kuchcinski
|
|
Monday, 16 April 2012 07:25 |
|
Dear users, We have just released JaCoP 3.2. This is a release that fixes few bugs as well as provides an interface from Scala to JaCoP. Examples using Scala are provided in ExamplesScala package. Hakan Kjellrstand at his blog discusses Scala wrapper for JaCoP as well as provides additional examples at his repository of Scala examples. best regards, Core Developer Team |
|
Last Updated on Monday, 16 April 2012 18:32 |
|
|
Written by Radoslaw Szymanek
|
|
Saturday, 18 September 2010 08:59 |
|
Dear users, We are getting more and more emails asking for help. We do help by writing back to you but we would like to encourage you to submit your questions/suggestions to Help forum available on SourceForge. Hopefully we will create a vibrant community of users helping each other giving us more time to work on improving JaCoP. We also are happy to provide paid consultancy to our industrial users. If you need help of CP experts in your projects to make sure that you efficiently and quickly can get JaCoP/CP applied then feel free to contact us [ radoslaw dot szymanek at gmail dot com ]. The paying customers will have a priority in getting required features implemented so our product will be more and more usable for you. best regards, Radoslaw Szymanek |
|
Last Updated on Monday, 16 April 2012 18:14 |
|
Written by Radoslaw Szymanek
|
|
Monday, 30 May 2011 12:04 |
|
Dear all, Scala programming language gets more and more acceptance in the community. It compiles to Java byte code and is executed using JVM. This makes it possible to use JaCoP directly in Scala by importing its packages. However, since Scala offers a nice way to define domain specific languages (DSL), we have developed an experimental implementation of the DSL for JaCoP solver. Our implementation uses several Scala features to define a clear way of using JaCoP solver. We overloaded operators to specify easily arithmetical, logical and set constraints. We also use the package object to gather global constraints and search methods. This together with Scala features, such as implicit conversions, simplifies use of JaCoP and makes it easier to understand.
The implementation (available on Sourceforge) is still experimental and we will be happy to get comments and proposals for improvements. We hope that this work will make it easier for Scala community to use JaCoP solver/CP technology.
Best regards,
Core Developer Team |
|
Last Updated on Sunday, 29 January 2012 11:56 |
|
|
SAT, Stochastic CP, Minizinc Challenge 2011 |
|
|
|
|
Written by Radoslaw Szymanek
|
|
Monday, 30 January 2012 00:00 |
|
Dear all, We are working hard in our free time. There are multiple aspects that are being currently on our agenda. First, SAT solver that cooperates internally with JaCoP so constraints can send explanation to SAT solver. Second, we are polishing a stochastic subpackage within a JaCoP so it possible to model problems with stochastic variables specified only by their distribution and without user control of their value. SAT solver is the result of the project done by Simon Cruanes, and the first version of Stochastic subpackage was the result of the work of another student Sreenivas Kartik Buddha. We would like to thank them for their help in developing JaCoP. We forgot to mention that JaCoP was again awarded a silver price in the fixed category among the elligible solvers for the awards in the Minizinc Challenge 2011. We would like to thank Peter Stuckey and his team for all their work in running an interesting competition. It is gratifying to see that our focus on global constraints and modeling expressiveness is paying off. We hope that for the next year competition we will have even more problems with global constraints like network flow constraint, knapsack constraint, and geost constraint which have not been used yet in this year solver competition. If anybody would like to have access to the upcoming version of JaCoP containing SAT and Stochastic package please contact me for details at ( radoslaw dot szymanek at gmail dot com ). best regards, Radoslaw Szymanek and Krzysztof Kuchcinski |
|
Last Updated on Sunday, 29 January 2012 11:53 |
|
JaCoP version 3.1 is released |
|
|
|
|
Written by Radoslaw Szymanek
|
|
Monday, 07 February 2011 09:30 |
Dear users, We have just released JaCoP 3.1. This is a release that fixes few bugs as well as provides a new Binpacking constraint. The Binpacking constraint allows modeling of problems exhibiting bin packing problem structure. The addition of this constraint introduced changes to minizinc/fz library in JaCoP since the definitions of bin_packing.mzn, bin_packin_capa.mzn and bin_packing_load.mzn have been added. The JaCoP guide has been updated to explain how to use Binpacking constraint.
best regards,
Core Developer Team
|
|
Last Updated on Monday, 07 February 2011 09:51 |
|
|
|
|
|
|
Page 1 of 3 |
