ECLiPSe-CLP-users by thread
- [eclipse-clp-users] Query reformulation to achieve better propagation Panagiotis Stamatopoulos (Mon Feb 20 2023 - 11:27:19 CET)
- [eclipse-clp-users] CLP/CBC Problem Thorsten Winterer (Mon Feb 06 2023 - 10:48:59 CET)
- [eclipse-clp-users] Logtalk 3.61.0 released Paulo Moura (Tue Dec 20 2022 - 17:34:48 CET)
- [eclipse-clp-users] switching debugger on with trace Chris Meudec (Thu Dec 15 2022 - 11:34:53 CET)
- [eclipse-clp-users] IC limitations Chris Meudec (Thu Dec 15 2022 - 13:07:17 CET)
- [eclipse-clp-users] Logtalk 3.60.0 released Paulo Moura (Wed Nov 16 2022 - 00:11:26 CET)
- [eclipse-clp-users] Logtalk 3.59.0 released Paulo Moura (Tue Oct 18 2022 - 15:56:53 CEST)
- [eclipse-clp-users] Logtalk 3.58.0 released Paulo Moura (Tue Sep 27 2022 - 11:22:06 CEST)
- [eclipse-clp-users] Logtalk 3.57.0 released Paulo Moura (Tue Jul 26 2022 - 17:09:41 CEST)
- [eclipse-clp-users] Logtalk 3.56.0 released Paulo Moura (Thu Jun 09 2022 - 09:20:23 CEST)
- [eclipse-clp-users] Logtalk 3.55.0 released Paulo Moura (Thu Apr 28 2022 - 15:34:51 CEST)
- [eclipse-clp-users] Con we do labeling/indomain with bigger numbers? Jeshan Babooa (Wed Apr 13 2022 - 17:40:28 CEST)
- [eclipse-clp-users] Logtalk 3.54.0 released Paulo Moura (Wed Mar 23 2022 - 13:38:42 CET)
- [eclipse-clp-users] Possible to suppress file compiled messages Paulo Moura (Mon Feb 21 2022 - 10:52:32 CET)
- [eclipse-clp-users] Logtalk 3.53.0 released Paulo Moura (Thu Jan 20 2022 - 23:10:39 CET)
- [eclipse-clp-users] Logtalk 3.52.0 released Paulo Moura (Tue Dec 07 2021 - 16:16:44 CET)
- [eclipse-clp-users] A portable and decentralized package manager for sharing Logtalk and Prolog resources Paulo Moura (Thu Oct 28 2021 - 11:35:38 CEST)
- [eclipse-clp-users] Logtalk 3.51.0 released Paulo Moura (Thu Oct 28 2021 - 11:16:43 CEST)
- [eclipse-clp-users] Logtalk 3.50.0 released Paulo Moura (Tue Oct 26 2021 - 23:41:08 CEST)
- Re: [eclipse-clp-users] Eclipse C++ examples not compiling Manu goswami (Sat Oct 09 2021 - 13:43:34 CEST)
- [eclipse-clp-users] Logtalk 3.50.0 released Paulo Moura (Fri Sep 03 2021 - 11:02:50 CEST)
- [eclipse-clp-users] Unclear how to make http calls Jeshan Babooa (Tue Aug 03 2021 - 20:58:28 CEST)
- [eclipse-clp-users] Error after build -- 7_0_55 -- Win10 + CYGWIN + Eclipse 7 0 55 Manu goswami (Sun Aug 01 2021 - 16:37:39 CEST)
- [eclipse-clp-users] Segmentation fault — Cygwin + win10 Manu goswami (Thu Jul 29 2021 - 12:51:19 CEST)
- [eclipse-clp-users] How to compile eclipse under Debian:bullseye with Coin-OR Vasily Kartashov (Fri Jul 16 2021 - 11:36:23 CEST)
- [eclipse-clp-users] Logtalk 3.48.0 released Paulo Moura (Tue Jul 06 2021 - 12:10:51 CEST)
- [eclipse-clp-users] Fwd: How to build tkexdr.so and tkeclipse.so Kish Shen (Thu Jun 17 2021 - 15:37:33 CEST)
- [eclipse-clp-users] X is p(a) +1. from Apt/Wallace book Doug Edmunds (Thu Jun 17 2021 - 02:22:10 CEST)
- [eclipse-clp-users] How to build tkexdr.so and tkeclipse.so koyahata (Wed Jun 16 2021 - 19:53:23 CEST)
- [eclipse-clp-users] How to build tkexdr.so and tkeclipse.so koyahata (Wed Jun 16 2021 - 20:14:38 CEST)
- [eclipse-clp-users] Compiling with Java >= 8 Vasily Kartashov (Fri Jun 04 2021 - 02:16:13 CEST)
- [eclipse-clp-users] Predicate search/6 over Real Numbers Amine Marref (Sat Apr 17 2021 - 22:37:08 CEST)
- [eclipse-clp-users] Logtalk 3.44.0 released Paulo Moura (Wed Feb 03 2021 - 16:58:14 CET)
- [eclipse-clp-users] Question about installation process under Windows David (Fri Dec 25 2020 - 18:25:26 CET)
- [eclipse-clp-users] Logtalk 3.43.0 released Paulo Moura (Tue Dec 22 2020 - 12:13:37 CET)
- [eclipse-clp-users] How to compile for Raspberry Pi 4 Vasily Kartashov (Sat Jul 11 2020 - 12:27:46 CEST)
- [eclipse-clp-users] Logtalk 3.38.0 released Paulo Moura (Tue Apr 28 2020 - 15:56:12 CEST)
- [eclipse-clp-users] Property-based testing Paulo Moura (Fri Apr 24 2020 - 16:40:03 CEST)
- [eclipse-clp-users] Logtalk 3.37.0 released Paulo Moura (Thu Apr 02 2020 - 16:18:03 CEST)
- [eclipse-clp-users] Propagation question for IC Panagiotis Stamatopoulos (Tue Mar 31 2020 - 20:22:29 CEST)
- [eclipse-clp-users] link to the "ECLiPSe ELearning Course" not working matteob8 (Sat Mar 14 2020 - 15:51:36 CET)
- [eclipse-clp-users] Logtalk 3.34.0 released Paulo Moura (Tue Jan 07 2020 - 16:09:55 CET)
- [eclipse-clp-users] BAD_TERMs in the C/C++ interface Victor Mataré (Fri Dec 13 2019 - 19:46:48 CET)
- [eclipse-clp-users] Logtalk 3.33.0 released Paulo Moura (Tue Dec 03 2019 - 15:48:29 CET)
- [eclipse-clp-users] GitHub Actions and Workflows for Logtalk and Prolog repos Paulo Moura (Fri Nov 01 2019 - 12:27:48 CET)
- [eclipse-clp-users] Logtalk 3.31.0 released Paulo Moura (Tue Oct 15 2019 - 13:39:37 CEST)
- [eclipse-clp-users] Help Embedding TCL/TK bustiakim (Wed Sep 25 2019 - 08:37:32 CEST)
- [eclipse-clp-users] ECLiPSe 7.0#49 compilation errors on macOS Paulo Moura (Wed Sep 18 2019 - 11:21:07 CEST)
- [eclipse-clp-users] Possible bug in nth1/3? Panagiotis Stamatopoulos (Mon May 13 2019 - 20:31:09 CEST)
- [eclipse-clp-users] Maximal count of constraints Jan Drozen (Sat May 04 2019 - 19:58:49 CEST)
- [eclipse-clp-users] Logtalk 3.25.0 released Paulo Moura (Tue Apr 02 2019 - 13:17:41 CEST)
- [eclipse-clp-users] Updating upper bound - of a minimization problem- during search ISTENC TARHAN (Fri Jan 18 2019 - 15:19:28 CET)
- [eclipse-clp-users] Gecode and Gurobi Giuseppe Cota (Wed Nov 14 2018 - 18:48:35 CET)
- [eclipse-clp-users] Java-ECLiPSe interface on Maven Giuseppe Cota (Thu Jul 19 2018 - 14:57:09 CEST)
- [eclipse-clp-users] Problem with embedding into TCL/TK Michael Maisuradze (Wed May 23 2018 - 17:53:28 CEST)
- [eclipse-clp-users] Eclipse library IC question on reading the intervals Julio (Tue May 22 2018 - 13:22:59 CEST)
- [eclipse-clp-users] element/3 constraint in the ic library Panagiotis Stamatopoulos (Sun Apr 15 2018 - 21:57:36 CEST)
- [eclipse-clp-users] Debugging in embedded eclipse Victor Mataré (Wed Apr 04 2018 - 16:04:06 CEST)
- [eclipse-clp-users] missing files Giuseppe Cota (Wed Feb 28 2018 - 18:08:07 CET)
- [eclipse-clp-users] Errors when trying to build 7.0#37 from sources on macOS 10.13.3 (High Sierra) Paulo Moura (Sat Feb 03 2018 - 16:26:40 CET)
- [eclipse-clp-users] Loading an .asm file Paulo Moura (Fri Feb 02 2018 - 15:39:43 CET)
- [eclipse-clp-users] ECLiPSe 7.0 Joachim Schimpf (Sun Jan 28 2018 - 20:56:55 CET)
- [eclipse-clp-users] minimax problems mskala_at_...206... (Fri Dec 01 2017 - 17:28:10 CET)
- [eclipse-clp-users] Does Ciao have plan to support unicode atom like SWI-Prolog? Arthur Wang (Wed Nov 08 2017 - 15:50:16 CET)
- [eclipse-clp-users] How to get comments inside of a clause? Arthur Wang (Fri Oct 06 2017 - 15:51:08 CEST)
- [eclipse-clp-users] vsc-prolog (VS Code extension) supports eclipseclp now Arthur Wang (Sun Sep 17 2017 - 17:53:18 CEST)
- [eclipse-clp-users] Fwd: Issue with exported structures Kish Shen (Tue Sep 05 2017 - 11:55:33 CEST)
- [eclipse-clp-users] Issue with exported structures Philippe de Rochambeau (Tue Sep 05 2017 - 08:21:14 CEST)
- [eclipse-clp-users] Errors while building Eclipse CLP on Macosx 10.12.6 Philippe de Rochambeau (Sun Aug 27 2017 - 09:42:08 CEST)
- [eclipse-clp-users] PhD scholarships in Constraint Logic Programming Marco Gavanelli (Wed Jun 21 2017 - 11:00:28 CEST)
- [eclipse-clp-users] reconfirmation Maxime DIAB (Wed Jun 14 2017 - 11:37:54 CEST)
- [eclipse-clp-users] reconfirmation Claudio Cesar de Sá (Tue Jun 13 2017 - 22:54:02 CEST)
- [eclipse-clp-users] reconfirmation Bressan, Stephane (Mon Jun 12 2017 - 08:04:32 CEST)
- [eclipse-clp-users] This mailing list Joachim Schimpf (Sat Jun 10 2017 - 16:25:30 CEST)
- [eclipse-clp-users] Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation, of Constraint and LOgic Programming Systems Nataliia Stulova (Tue May 30 2017 - 21:16:27 CEST)
- [eclipse-clp-users] AI*IA Incoming Mobility Grants 2017 Marco Gavanelli (Thu May 18 2017 - 11:21:15 CEST)
- [eclipse-clp-users] Announcement: SLDNF Draw with animations Marco Gavanelli (Mon May 08 2017 - 12:34:56 CEST)
- Re: [eclipse-clp-users] [SWI-Prolog/swipl-devel] user-data-type-attvars (#189) Douglas Miles (Mon Jan 02 2017 - 09:58:09 CET)
- [eclipse-clp-users] Variable Attribute Edgaonkar, Shrirang (Mon Nov 28 2016 - 05:44:20 CET)
- [eclipse-clp-users] Error handling using socket communication Ingo Dahn (Mon Nov 14 2016 - 18:33:23 CET)
- [eclipse-clp-users] Abort error Shrirang Edgaonkar (Mon Nov 14 2016 - 03:27:34 CET)
- Re: [eclipse-clp-users] library not found in use_module(library(xml)) Joachim Schimpf (Sun Sep 18 2016 - 13:28:20 CEST)
- [eclipse-clp-users] ic_sets question: negated set constraints Daniel Jozsef (Sun Sep 18 2016 - 10:15:17 CEST)
- [eclipse-clp-users] MacOS builds of recent versions Daniel Jozsef (Thu Sep 15 2016 - 15:05:53 CEST)
- [eclipse-clp-users] Peer queues in Clp Shrirang Edgaonkar (Mon Sep 05 2016 - 19:43:37 CEST)
- [eclipse-clp-users] DBi for PostgreSQL Edgaonkar, Shrirang (Mon Aug 29 2016 - 04:45:32 CEST)
- [eclipse-clp-users] Setting encoding for I/O mskala_at_...206... (Thu Jul 07 2016 - 08:52:09 CEST)
- [eclipse-clp-users] PADL'17 call for papers Marco Gavanelli (Sat Jun 25 2016 - 16:58:55 CEST)
- [eclipse-clp-users] List to arrays Annick Fron (Wed Jun 22 2016 - 12:19:12 CEST)
- [eclipse-clp-users] Jobshop Scheduling Example with data fetched from SQL Gibon (Fri May 20 2016 - 09:28:42 CEST)
- [eclipse-clp-users] eclipse-clp on stackoverflow.com Joachim Schimpf (Tue Mar 29 2016 - 13:59:38 CEST)
- [eclipse-clp-users] Data-driven tracing of labeling and propagation Joachim Schimpf (Tue Mar 29 2016 - 13:39:55 CEST)
- [eclipse-clp-users] Reviving Old Software in Eclipse Ingo Dahn (Wed Mar 23 2016 - 17:45:58 CET)
- [eclipse-clp-users] "twice" similar to "once" Edgaonkar, Shrirang (Tue Mar 22 2016 - 04:18:35 CET)
- [eclipse-clp-users] Standard compliance Panagiotis Stamatopoulos (Thu Mar 10 2016 - 12:47:08 CET)
- [eclipse-clp-users] Dbi prepare query issue. Edgaonkar, Shrirang (Tue Mar 08 2016 - 05:28:08 CET)
- [eclipse-clp-users] Connect java with constraint logic Rana Mohamed (Fri Feb 12 2016 - 22:51:46 CET)
- [eclipse-clp-users] Boolean value behaviour Edgaonkar, Shrirang (Mon Feb 08 2016 - 05:01:49 CET)
- [eclipse-clp-users] Suspend till tentative value change Edgaonkar, Shrirang (Thu Feb 04 2016 - 03:01:27 CET)
- [eclipse-clp-users] Google Summer of Code and ECLiPSe Sergii Dymchenko (Mon Feb 01 2016 - 20:41:48 CET)
- [eclipse-clp-users] Tentative variables Edgaonkar, Shrirang (Mon Dec 14 2015 - 08:50:42 CET)
- [eclipse-clp-users] GCHQ Puzzle Joachim Schimpf (Sat Dec 12 2015 - 02:51:06 CET)
- [eclipse-clp-users] Error_Handler Edgaonkar, Shrirang (Fri Nov 27 2015 - 03:45:31 CET)
- [eclipse-clp-users] Problem with session_sql_prepare_query Edgaonkar, Shrirang (Wed Oct 21 2015 - 07:09:01 CEST)
- [eclipse-clp-users] help Rana Mohamed (Tue Oct 13 2015 - 10:20:24 CEST)
- [eclipse-clp-users] (no subject) Rana Mohamed (Tue Oct 13 2015 - 09:43:11 CEST)
- [eclipse-clp-users] (no subject) Rana Mohamed (Tue Oct 13 2015 - 09:41:11 CEST)
- [eclipse-clp-users] ARM GNU tool-chain problem Raad (Fri Oct 02 2015 - 20:57:15 CEST)
- [eclipse-clp-users] Implying Initial Domains for Certain Arguments of Predicates Gökhan Solak (Fri Oct 02 2015 - 15:48:32 CEST)
- [eclipse-clp-users] PADL 2016: Extended deadline. Best papers at TPLP rapid publications Marco Gavanelli (Sat Sep 12 2015 - 10:05:47 CEST)
- [eclipse-clp-users] UTF8 support for String Edgaonkar, Shrirang (Fri Jul 03 2015 - 05:44:44 CEST)
- [eclipse-clp-users] ECLIPSE IDE - Saros Edgaonkar, Shrirang (Wed Jul 01 2015 - 02:42:53 CEST)
- [eclipse-clp-users] library not found in use_module(library(ic_prop_test_util)) Edgaonkar, Shrirang (Tue Jun 30 2015 - 06:24:49 CEST)
- [eclipse-clp-users] Floundering case Edgaonkar, Shrirang (Fri Jun 26 2015 - 02:38:46 CEST)
- [eclipse-clp-users] Delayed goals vs System delayed goals Edgaonkar, Shrirang (Mon Jun 22 2015 - 07:02:47 CEST)
- [eclipse-clp-users] Not equal constraint in String Edgaonkar, Shrirang (Mon Jun 22 2015 - 04:05:37 CEST)
- [eclipse-clp-users] Fwd: Re: intersection Kish Shen (Wed Jun 17 2015 - 22:54:30 CEST)
- [eclipse-clp-users] Possibility of moving ECLiPSe from SourceForge to Github Sergii Dymchenko (Fri Jun 05 2015 - 19:15:04 CEST)
- [eclipse-clp-users] Installing ECLiPSe on MacOS X Sergii Dymchenko (Tue May 19 2015 - 23:39:42 CEST)
- [eclipse-clp-users] FW: Dbi related issue Edgaonkar, Shrirang (Wed Apr 08 2015 - 10:19:47 CEST)
- [eclipse-clp-users] Running viz and viztool Sergii Dymchenko (Sun Apr 05 2015 - 21:06:17 CEST)
- [eclipse-clp-users] Instantiation fault in bb_min with non-default strategy Sergii Dymchenko (Fri Mar 13 2015 - 20:39:08 CET)
- [eclipse-clp-users] Create custom constraint in Eclipse Edgaonkar, Shrirang (Tue Mar 03 2015 - 02:56:22 CET)
- [eclipse-clp-users] Order of constraints Edgaonkar, Shrirang (Fri Feb 27 2015 - 05:48:16 CET)
- [eclipse-clp-users] Multiple objective knapsack problem Aaron Hunter (Tue Feb 17 2015 - 16:54:08 CET)
- [eclipse-clp-users] List of Structures Edgaonkar, Shrirang (Mon Feb 02 2015 - 07:55:09 CET)
- [eclipse-clp-users] Dbi Query with more than 1 columns Edgaonkar, Shrirang (Wed Jan 28 2015 - 09:53:05 CET)
- [eclipse-clp-users] Suggestion for a workshop content Sergii Dymchenko (Tue Jan 27 2015 - 09:13:13 CET)
- [eclipse-clp-users] Constraints on list Edgaonkar, Shrirang (Sat Jan 24 2015 - 02:06:16 CET)
- [eclipse-clp-users] OSX build Alex Mahrer (Tue Jan 20 2015 - 16:44:40 CET)
- [eclipse-clp-users] ANN: Logtalk 3.00.0 is now available Paulo Moura (Wed Jan 07 2015 - 02:29:56 CET)
- [eclipse-clp-users] Issue with Dbi Edgaonkar, Shrirang (Fri Dec 26 2014 - 07:31:15 CET)
- Re: [eclipse-clp-users] Real approach Edgaonkar, Shrirang (Fri Dec 26 2014 - 03:25:55 CET)
- [eclipse-clp-users] Question regarding the redefined variable Choughule, Yogesh (Mon Dec 15 2014 - 02:52:41 CET)
- [eclipse-clp-users] Question regarding null variable Choughule, Yogesh (Mon Dec 15 2014 - 02:52:04 CET)
- [eclipse-clp-users] intersection Philippe de Rochambeau (Fri Dec 12 2014 - 08:43:15 CET)
- [eclipse-clp-users] Time out issue with long integer Edgaonkar, Shrirang (Wed Dec 10 2014 - 03:13:42 CET)
- [eclipse-clp-users] number expected in set_up_ic_con Philippe de Rochambeau (Thu Dec 04 2014 - 21:03:28 CET)
- [eclipse-clp-users] Constraints on structures Edgaonkar, Shrirang (Wed Dec 03 2014 - 10:10:43 CET)
- [eclipse-clp-users] Finite solution for real Edgaonkar, Shrirang (Wed Dec 03 2014 - 10:04:17 CET)
- [eclipse-clp-users] y = a1b1 + a2b2 + a3b3 + ... + anbn Philippe de Rochambeau (Sun Nov 30 2014 - 12:09:00 CET)
- [eclipse-clp-users] Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system Sergii Dymchenko (Fri Nov 28 2014 - 11:01:44 CET)
- [eclipse-clp-users] (no subject) Edgaonkar, Shrirang (Fri Nov 21 2014 - 02:05:36 CET)
- [eclipse-clp-users] REAL VARIABLE SOLVING FAILING Choughule, Yogesh (Thu Nov 20 2014 - 09:36:44 CET)
- [eclipse-clp-users] integer overflow in setbit mskala_at_...206... (Thu Nov 06 2014 - 09:21:10 CET)
- [eclipse-clp-users] Testing Eclipseclp Pradeep Kiruvale (Thu Sep 04 2014 - 11:37:01 CEST)
- [eclipse-clp-users] ANN: Logtalk 3.00.0 Release Candidate 1 now available Paulo Moura (Wed Sep 03 2014 - 11:21:58 CEST)
- [eclipse-clp-users] Possible to use format/2 to print a table with right-justified columns? Paulo Moura (Thu Aug 21 2014 - 13:21:04 CEST)
- [eclipse-clp-users] 'Problem is infeasible!' in eplex goes to stdout Sergii Dymchenko (Sat Aug 16 2014 - 01:54:26 CEST)
- [eclipse-clp-users] eclipse-ARM Pradeep Kiruvale (Wed Aug 13 2014 - 13:39:10 CEST)
- [eclipse-clp-users] Home site and documentation hyper-links problems Matteo (Mon Aug 04 2014 - 14:06:33 CEST)
- [eclipse-clp-users] Fwd: Re: [Eclipse-clp-bugs] debugging attribute handlers in ECLIPSE 6 Joachim Schimpf (Thu Jul 17 2014 - 16:20:43 CEST)
- [eclipse-clp-users] Information about Eclips CP solver tarek menouer (Thu Jun 12 2014 - 12:02:00 CEST)
- [eclipse-clp-users] Checking for existing clauses without dynamic definition? Gesche Gierse (Wed May 28 2014 - 12:19:58 CEST)
- [eclipse-clp-users] Java error Samuel Kolb (Fri Apr 18 2014 - 15:54:40 CEST)
- [eclipse-clp-users] ANN: Logtalk 3.00.0 Beta 1 released Paulo Moura (Wed Apr 09 2014 - 02:16:51 CEST)
- [eclipse-clp-users] PyCLP has changed project hosting website Oreste (Fri Feb 14 2014 - 19:38:27 CET)
- [eclipse-clp-users] Repair library propagation issue Martin Michalowski (Mon Feb 10 2014 - 21:41:03 CET)
- [eclipse-clp-users] Repair library issue: follow-up Martin Michalowski (Sat Feb 01 2014 - 02:06:53 CET)
- [eclipse-clp-users] Repair library issue Martin Michalowski (Sat Feb 01 2014 - 00:24:28 CET)
- [eclipse-clp-users] Announcement: released pyclp 0.8 Oreste Bernardi (Sat Jan 18 2014 - 21:16:03 CET)
- [eclipse-clp-users] findall + gfd strange behaviuor Sergii Dymchenko (Mon Dec 30 2013 - 21:57:17 CET)
- [eclipse-clp-users] Debugging constraint programs for performance Misha Aizatulin (Mon Dec 23 2013 - 20:13:35 CET)
- [eclipse-clp-users] PyCLP inconsistency in treating 0 (zero) Federico Ferri (Fri Dec 13 2013 - 11:45:09 CET)
- [eclipse-clp-users] exception details in embedded eclipse Federico Ferri (Thu Dec 12 2013 - 20:34:28 CET)
- [eclipse-clp-users] discontiguous predicates in multiple files in embedded eclipse Federico Ferri (Tue Dec 10 2013 - 20:32:30 CET)
- [eclipse-clp-users] Dealing with ambiguity between empty arrays and empty lists Alex Mahrer (Wed Dec 04 2013 - 20:50:02 CET)
- [eclipse-clp-users] Question on EclipseCLP and viability for job-shop scheduling Chandrakanth R. Terupally (Thu Nov 07 2013 - 19:12:07 CET)
- [eclipse-clp-users] More than one optimal solution using eplex. Paul Cannongeyser (Wed Oct 30 2013 - 22:27:16 CET)
- [eclipse-clp-users] Trying to code 0-1 Multiple Knapsack Problem. Paul Cannongeyser (Fri Oct 25 2013 - 19:12:20 CEST)
- [eclipse-clp-users] Trying to run MIP using eplex. Paul Cannongeyser (Thu Oct 10 2013 - 17:04:53 CEST)
- [eclipse-clp-users] Trying to use single_pair_shortest_path Paul Cannongeyser (Mon Oct 07 2013 - 19:57:19 CEST)
- [eclipse-clp-users] Trying to run select Paul Cannongeyser (Wed Oct 02 2013 - 16:54:25 CEST)
- [eclipse-clp-users] Find all of THESE such that there exist THOSE mskala_at_...206... (Wed Oct 02 2013 - 01:16:41 CEST)
- [eclipse-clp-users] Deferred propagation in IC Alex Mahrer (Mon Sep 30 2013 - 22:58:28 CEST)
- [eclipse-clp-users] ECLiPSe puzzle problem doesn't work for me. Paul Cannongeyser (Mon Sep 30 2013 - 16:14:18 CEST)
- [eclipse-clp-users] The "labeling" works but the "search" predicate no.... Claudio Cesar de Sá (Sun Sep 22 2013 - 16:36:20 CEST)
- [eclipse-clp-users] Citation form mskala_at_...206... (Fri Sep 06 2013 - 18:39:40 CEST)
- [eclipse-clp-users] Announcement: released pyclp 0.6. Oreste (Fri Aug 30 2013 - 20:46:19 CEST)
- [eclipse-clp-users] Full file paths in eclipse compilation log \ luke2k4_at_...6... (Tue Aug 27 2013 - 17:17:10 CEST)
- [eclipse-clp-users] Precompile .eco files and version compatibility. Oreste.Bernardi_at_...368... (Tue Aug 27 2013 - 13:57:01 CEST)
- [eclipse-clp-users] Out of range error Volkan Unsal (Sat Aug 17 2013 - 01:13:04 CEST)
- [eclipse-clp-users] Accessing Eclipse predicates Volkan Unsal (Fri Aug 16 2013 - 02:47:45 CEST)
- [eclipse-clp-users] REPL Volkan Unsal (Fri Aug 09 2013 - 02:40:25 CEST)
- [eclipse-clp-users] Eplex library Volkan Unsal (Fri Jul 26 2013 - 19:43:17 CEST)
- [eclipse-clp-users] Beginner question: how do I read from an open stream? Volkan Unsal (Thu Jul 25 2013 - 19:25:16 CEST)
- [eclipse-clp-users] Difficulties with CP-viz Viztool under Tkeclipse 6.1 #163 Claudio Cesar de Sá (Mon Jul 22 2013 - 01:26:24 CEST)
- [eclipse-clp-users] How to get non-optimal solution from eplex with timeout Sergii Dymchenko (Sun Jul 14 2013 - 21:48:53 CEST)
- [eclipse-clp-users] ECLiPSe release 6.1 Joachim Schimpf (Sat Jul 13 2013 - 19:26:38 CEST)
- [eclipse-clp-users] Column generation with colgen Sergii Dymchenko (Tue Jul 09 2013 - 01:50:53 CEST)
- [eclipse-clp-users] ic:element/3 for float values Sergii Dymchenko (Mon Jul 08 2013 - 20:47:26 CEST)
- [eclipse-clp-users] Trail stack overflow mskala_at_...206... (Mon Jul 08 2013 - 17:26:58 CEST)
- [eclipse-clp-users] Symmetry breaking for N-Queens Sergii Dymchenko (Sun Jun 30 2013 - 00:46:54 CEST)
- [eclipse-clp-users] Using SBDS with Gecode Sergii Dymchenko (Fri Jun 28 2013 - 05:11:11 CEST)
- [eclipse-clp-users] Discrete Optimization course on Coursera Sergii Dymchenko (Thu Jun 27 2013 - 23:23:00 CEST)
- [eclipse-clp-users] Getting MySQL access setup Travis Johnson (Sat Jun 22 2013 - 23:08:07 CEST)
- [eclipse-clp-users] Why the minimize is halting in each solution? Claudio Cesar de Sá (Fri Jun 21 2013 - 20:50:06 CEST)
- [eclipse-clp-users] flatten_array/2 deprecated? Sergii Dymchenko (Fri Jun 21 2013 - 00:02:36 CEST)
- [eclipse-clp-users] Path Traversal Conditions Solver Christophe Meudec (Wed Jun 12 2013 - 18:03:15 CEST)
- [eclipse-clp-users] debugging performance of constraint programs Misha Aizatulin (Tue May 21 2013 - 00:32:12 CEST)
- [eclipse-clp-users] How to handle double values in eclipse clp? Hadeer Diwan (Sun May 19 2013 - 13:16:07 CEST)
- [eclipse-clp-users] WLPE 2013 - First Call For Papers Jose F. Morales (Tue May 07 2013 - 14:36:18 CEST)
- [eclipse-clp-users] Integer exponentiation in ic Matthew Skala (Sun May 05 2013 - 03:34:49 CEST)
- [eclipse-clp-users] Assignment of a value to an element of an array Sergii Dymchenko (Fri May 03 2013 - 06:44:04 CEST)
- [eclipse-clp-users] ANN: VivoMind Prolog Unicode Resources released Paulo Moura (Thu Apr 25 2013 - 17:23:24 CEST)
- [eclipse-clp-users] Copying domain and delayed goals Sergii Dymchenko (Tue Apr 23 2013 - 23:38:39 CEST)
- [eclipse-clp-users] eclipse & golog - is it possible to remove the do builtin? mescalinum_at_...6... (Sat Apr 13 2013 - 17:22:08 CEST)
- [eclipse-clp-users] Labelling real variables Matthew Skala (Sat Apr 06 2013 - 16:49:25 CEST)
- [eclipse-clp-users] Graph Coloring Sergii Dymchenko (Wed Apr 03 2013 - 01:22:57 CEST)
- [eclipse-clp-users] embedded ECLiPSe in C++, problems with post event Gesche Gierse (Fri Mar 22 2013 - 18:47:10 CET)
- [eclipse-clp-users] Increment variable Cédric Moonen (Tue Mar 05 2013 - 15:39:19 CET)
- [eclipse-clp-users] Appropriate application? Chip Nowacek (Mon Mar 04 2013 - 17:43:25 CET)
- [eclipse-clp-users] Product of a list (or array) Martin Michalowski (Wed Feb 27 2013 - 21:50:20 CET)
- [eclipse-clp-users] Correct use of minimize to find a globally minimal solution Misha Aizatulin (Wed Feb 27 2013 - 19:30:06 CET)
- [eclipse-clp-users] Segmentation fault when loading large source file Sergii Dymchenko (Mon Feb 18 2013 - 21:38:35 CET)
- [eclipse-clp-users] How can bb_min fail after finding a solution? Matthew Skala (Fri Feb 15 2013 - 17:29:22 CET)
- [eclipse-clp-users] line numbers in calling goals Basile Starynkevitch (Wed Feb 13 2013 - 08:54:05 CET)
- [eclipse-clp-users] How to find a route between a collection of nodes in a graph? Hadeer Diwan (Tue Feb 12 2013 - 11:16:12 CET)
- [eclipse-clp-users] Logtalk 3.00.0 Alpha 9 released Paulo Moura (Mon Feb 11 2013 - 18:25:58 CET)
- [eclipse-clp-users] Newbie Q: using an exported struct .... Basile Starynkevitch (Fri Feb 08 2013 - 16:09:31 CET)
- [eclipse-clp-users] compilation issues of Eclipse_6.1_135 on Debian/x86-66/Sid... Basile Starynkevitch (Tue Jan 29 2013 - 14:11:20 CET)
- [eclipse-clp-users] Bug in lex_lt with occurrences? Sergii Dymchenko (Wed Jan 23 2013 - 03:14:07 CET)
- [eclipse-clp-users] Grants for PhD studies in Barcelona Daniel Riera (Thu Dec 20 2012 - 12:49:16 CET)
- [eclipse-clp-users] ec_external definition not included if EC_EMBED is defined. Oreste (Tue Nov 27 2012 - 19:40:49 CET)
- [eclipse-clp-users] Is referenced_record/2 related to accessing asserted clauses? Edwin Wirawan (Fri Nov 23 2012 - 09:31:39 CET)
- [eclipse-clp-users] Python Interface / PostgreSQL/MongoDB Oreste (Wed Nov 21 2012 - 19:42:18 CET)
- [eclipse-clp-users] Python Interface / PostgreSQL/MongoDB Gottfried F. Zojer (Mon Nov 12 2012 - 18:17:07 CET)
- [eclipse-clp-users] Large graph analysis David Dreisigmeyer (Thu Nov 08 2012 - 15:38:34 CET)
- [eclipse-clp-users] How to override arithmetic functions with ISO standard conforming definitions? Paulo Moura (Tue Nov 06 2012 - 16:13:44 CET)
- [eclipse-clp-users] query Anshu Shankar Prasad (Sun Nov 04 2012 - 11:17:42 CET)
- [eclipse-clp-users] Making a predicate asserted into a dynamic module visible Paulo Moura (Wed Oct 24 2012 - 00:16:07 CEST)
- [eclipse-clp-users] ECLiPSe 6.0#197 with COIN on OS X 10.8 David Dreisigmeyer (Mon Oct 22 2012 - 15:26:32 CEST)
- [eclipse-clp-users] ECLiPSe install on OS X 10.8 David Dreisigmeyer (Mon Oct 15 2012 - 17:08:09 CEST)
- [eclipse-clp-users] a question about solving coin problem using EcLPS 马倩 (Mon Oct 15 2012 - 03:10:14 CEST)
- [eclipse-clp-users] query Anshu Shankar Prasad (Sun Oct 14 2012 - 07:05:17 CEST)
- [eclipse-clp-users] error Anshu Shankar Prasad (Sat Oct 13 2012 - 09:57:16 CEST)
- [eclipse-clp-users] e mail id Aditya Narayan Mondal (Wed Oct 10 2012 - 16:13:42 CEST)
- [eclipse-clp-users] Eclipse CSP on OpenSuse Gottfried F. Zojer (Mon Oct 08 2012 - 17:03:58 CEST)
- [eclipse-clp-users] Out of memory in constraint setup Joachim Schimpf (Mon Oct 08 2012 - 00:02:31 CEST)
- [eclipse-clp-users] ECLiPSe on Mountain Lion (OS X 10.8) David Dreisigmeyer (Sat Oct 06 2012 - 13:48:30 CEST)
- [eclipse-clp-users] labeling question with ic and eplex Kostas Oikonomou (Tue Oct 02 2012 - 19:45:40 CEST)
- [eclipse-clp-users] error Anshu Shankar Prasad (Thu Sep 27 2012 - 21:31:39 CEST)
- [eclipse-clp-users] Eclipse fatal error with eplex Kostas Oikonomou (Thu Sep 27 2012 - 20:43:47 CEST)
- [eclipse-clp-users] handling floats in objective function using the Flatzinc library Martin Michalowski (Wed Sep 12 2012 - 23:27:28 CEST)
- [eclipse-clp-users] Python interface to Eclipse Oreste (Sun Sep 09 2012 - 20:01:25 CEST)
- [eclipse-clp-users] simple eplex question Kostas Oikonomou (Thu Sep 06 2012 - 23:03:41 CEST)
- [eclipse-clp-users] instantion error Anshu Shankar Prasad (Wed Sep 05 2012 - 11:42:52 CEST)
- [eclipse-clp-users] Hunting for bottlenecks: Is factbase stored on-disk? -dp- (Tue Sep 04 2012 - 03:45:04 CEST)
- [eclipse-clp-users] I would need a static mode inference package running in Eclipse Mireille Ducasse (Wed Aug 29 2012 - 17:11:56 CEST)
- [eclipse-clp-users] Gantt Daniele Micarelli (Tue Aug 21 2012 - 17:14:33 CEST)
- [eclipse-clp-users] annotation "timeout" in minizinc model, Eclipse 6.185 Kostas Oikonomou (Mon Aug 20 2012 - 20:29:16 CEST)
- [eclipse-clp-users] Socket between C and ECLiPSe sabri allaoui (Wed Jul 25 2012 - 12:57:10 CEST)
- [eclipse-clp-users] CP-Viz and ECLiPSe Panagiotis Stamatopoulos (Thu Jul 19 2012 - 10:45:54 CEST)
- [eclipse-clp-users] ELF executable Sergey Dymchenko (Mon Jul 09 2012 - 18:30:07 CEST)
- [eclipse-clp-users] ICFP Programming Contest 2012 Sergey Dymchenko (Fri Jul 06 2012 - 17:38:09 CEST)
- [eclipse-clp-users] Support for the user_input, user_output, and user_error standard stream aliases Paulo Moura (Fri Jun 01 2012 - 19:50:52 CEST)
- [eclipse-clp-users] Very simple scheduling problem Lorenzo Stoakes (Wed May 23 2012 - 18:03:57 CEST)
- [eclipse-clp-users] canonical_path_bug/2 bug on Windows... again Paulo Moura (Mon May 21 2012 - 18:51:13 CEST)
- [eclipse-clp-users] Probably a simple question to answer about using external C++ code for predicates Yvon Muc (Fri May 18 2012 - 04:23:04 CEST)
- [eclipse-clp-users] ICLP 2012 Doctoral Consortium Marco Gavanelli (Wed May 09 2012 - 12:40:33 CEST)
- [eclipse-clp-users] inscrevam-se na lista do Eclipse... Claudio Cesar de Sá (Tue May 08 2012 - 14:28:01 CEST)
- [eclipse-clp-users] more doubts about sets.... Claudio Cesar de Sá (Tue May 08 2012 - 14:26:39 CEST)
- [eclipse-clp-users] Compiler error building ECLiPSe 6.111 from sources on MacOS X 10.7 (64 bits) Paulo Moura (Mon Apr 30 2012 - 18:33:28 CEST)
- [eclipse-clp-users] Retract/asserta in C++ Christian Giffhorn (Mon Apr 23 2012 - 11:17:39 CEST)
- [eclipse-clp-users] Excuse me. I want to ask a question. Chen Tommy (Wed Apr 11 2012 - 11:13:40 CEST)
- [eclipse-clp-users] ECLiPSe Extensions manual. Mark Judge (Sat Mar 31 2012 - 19:40:15 CEST)
- [eclipse-clp-users] Invitation to connect on LinkedIn nishant raj (Thu Mar 22 2012 - 13:04:43 CET)
- [eclipse-clp-users] Is there any tree search viewer for ECLIPSE? Claudio Cesar de Sá (Tue Mar 20 2012 - 13:58:07 CET)
- [eclipse-clp-users] Want to indicate which arg position causes unification to fail -dp- (Tue Mar 20 2012 - 01:25:40 CET)
- [eclipse-clp-users] Function call Christian Giffhorn (Tue Mar 13 2012 - 00:46:21 CET)
- [eclipse-clp-users] Large integers and delayed goals Sergey Dymchenko (Fri Mar 09 2012 - 18:24:32 CET)
- [eclipse-clp-users] Logtalk 2.44.0 released Paulo Moura (Wed Mar 07 2012 - 02:48:20 CET)
- [eclipse-clp-users] Using Eclipse with Visual Studio 2005 or looking for eclipse 5.8 Christian Giffhorn (Wed Feb 22 2012 - 14:46:48 CET)
- [eclipse-clp-users] RCRA 2012: preliminary call for papers RCRA (Wed Feb 22 2012 - 00:23:38 CET)
- [eclipse-clp-users] Events Bogdan Tanasa (Thu Jan 26 2012 - 14:36:00 CET)
- [eclipse-clp-users] Symmetry Bogdan Tanasa (Thu Jan 26 2012 - 15:09:48 CET)
- [eclipse-clp-users] problem with documentation R. Kars Brouwer (Sat Jan 07 2012 - 23:06:15 CET)
- [eclipse-clp-users] Call for doctoral candidates at IN3/UOC-Barcelona [deadline Feb. the 5th] Daniel Riera (Sun Jan 01 2012 - 20:12:31 CET)
- [eclipse-clp-users] reduced cost based filtering technique sharareh monfared (Tue Dec 20 2011 - 15:54:36 CET)
- [eclipse-clp-users] IC and gcd Bogdan Tanasa (Mon Dec 19 2011 - 13:33:43 CET)
- [eclipse-clp-users] Eclipse vs MiniZinc Wajid Hassan (Wed Dec 14 2011 - 10:56:27 CET)
- [eclipse-clp-users] Problem with double delayed negation Stephan Schiffel (Thu Dec 08 2011 - 15:03:05 CET)
- [eclipse-clp-users] append() in library listut Kostas Oikonomou (Thu Dec 08 2011 - 01:13:01 CET)
- Re: [eclipse-clp-users] Using sets ... generating two sets and their sums Claudio Cesar de Sá (Mon Dec 05 2011 - 03:55:27 CET)
- [eclipse-clp-users] Using sets ... generating two sets Claudio Cesar de Sá (Sat Dec 03 2011 - 08:58:42 CET)
- [eclipse-clp-users] 'php-eclipseclp' released on Google Code Yngwie (Sun Nov 27 2011 - 17:45:40 CET)
- [eclipse-clp-users] 'php-eclipseclp' released on Google Code Andrea Montemaggio (Sun Nov 27 2011 - 17:03:39 CET)
- [eclipse-clp-users] bb_min and C Bogdan Tanasa (Thu Nov 24 2011 - 18:36:46 CET)
- [eclipse-clp-users] C program Bogdan Tanasa (Mon Nov 21 2011 - 14:57:58 CET)
- [eclipse-clp-users] Question about simple system of equations Sergey Dymchenko (Thu Nov 17 2011 - 05:20:17 CET)
- [eclipse-clp-users] small problem Bogdan Tanasa (Wed Nov 16 2011 - 10:56:35 CET)
- [eclipse-clp-users] Preventing bb_min from printing debug info Sergey Dymchenko (Fri Nov 11 2011 - 03:26:59 CET)
- [eclipse-clp-users] How to expand domain of a variable Sergey Dymchenko (Fri Nov 04 2011 - 01:38:32 CET)
- [eclipse-clp-users] Job openings - German University in Cairo Carmen Gervet (Wed Oct 05 2011 - 13:27:37 CEST)
- [eclipse-clp-users] Minimizing a parameter that depends on global state Sergey Dymchenko (Sat Oct 01 2011 - 21:11:33 CEST)
- [eclipse-clp-users] eplex vs ic Bogdan Tanasa (Sat Oct 01 2011 - 14:19:40 CEST)
- [eclipse-clp-users] Computational complexity Sergey Dymchenko (Fri Sep 30 2011 - 14:49:16 CEST)
- [eclipse-clp-users] Help Bogdan Tanasa (Thu Sep 29 2011 - 16:09:46 CEST)
- [eclipse-clp-users] Help Bogdan Tanasa (Thu Sep 29 2011 - 16:09:14 CEST)
- [eclipse-clp-users] Triangle Areas: code review request Sergey Dymchenko (Tue Sep 27 2011 - 08:15:31 CEST)
- [eclipse-clp-users] Read integer from user (without a dot) Sergey Dymchenko (Wed Sep 21 2011 - 19:22:21 CEST)
- Re: [eclipse-clp-users] Java-embedding problem with v6.1 (dev build 85) on Win7 64 -dp- (Tue Sep 20 2011 - 05:29:44 CEST)
- [eclipse-clp-users] Exponentiation and integers Sergey Dymchenko (Sat Sep 17 2011 - 05:18:28 CEST)
- [eclipse-clp-users] Cognitive model of "intention perception" built with ECLiPSe now published -dp- (Fri Sep 16 2011 - 04:53:35 CEST)
- [eclipse-clp-users] Tk and Java-embedding problems with v6.1 (dev build 85) on Win7 64 -dp- (Fri Sep 16 2011 - 04:44:11 CEST)
- [eclipse-clp-users] java.net.SocketException when using OutOfProcessEclipse, seemingly due to insufficient RAM -dp- (Thu Sep 15 2011 - 09:44:54 CEST)
- [eclipse-clp-users] timing profiler Aya Saad (Thu Sep 15 2011 - 05:18:13 CEST)
- [eclipse-clp-users] two simple queries Kostas Oikonomou (Wed Sep 14 2011 - 22:32:49 CEST)
- [eclipse-clp-users] 7.11 puzzle Sergey Dymchenko (Tue Sep 13 2011 - 00:02:11 CEST)
- [eclipse-clp-users] m_map library question Kostas Oikonomou (Mon Sep 12 2011 - 23:06:04 CEST)
- [eclipse-clp-users] links to examples of use of eclipse R. Kars Brouwer (Sun Sep 11 2011 - 04:50:36 CEST)
- [eclipse-clp-users] "bug" in user manual , 6.0.185 Kostas Oikonomou (Thu Sep 08 2011 - 17:33:15 CEST)
- [eclipse-clp-users] Consult failure Jan Burse (Thu Aug 18 2011 - 18:23:35 CEST)
- [eclipse-clp-users] Hooking into constraint propagation Chris Mears (Tue Aug 16 2011 - 09:17:33 CEST)
- [eclipse-clp-users] Helping the CLP comunity ... where I can start? Claudio Cesar de Sá (Tue Aug 09 2011 - 21:04:08 CEST)
- [eclipse-clp-users] getting connected to cplex through eplex R. Kars Brouwer (Wed Aug 03 2011 - 23:04:05 CEST)
- [eclipse-clp-users] problem with remote_connect_accept in debugdemo.ecl Kostas Oikonomou (Tue Aug 02 2011 - 22:48:34 CEST)
- [eclipse-clp-users] simple questions on the "sendmore.ecl" example Kostas Oikonomou (Sat Jul 30 2011 - 18:09:32 CEST)
- [eclipse-clp-users] findall - procedure clauses are not consecutive Joris Van den Broeck (Sat Jul 16 2011 - 19:38:36 CEST)
- [eclipse-clp-users] set_flag(all_dynamic, on) in 6.0 Eloy Retamino (Fri Jul 15 2011 - 10:44:08 CEST)
- [eclipse-clp-users] Branch-and-bound search continuation Chris Mears (Wed Jul 13 2011 - 07:50:41 CEST)
- [eclipse-clp-users] Bin Packing implementation issues Naman Agarwal (Tue Jul 12 2011 - 20:31:43 CEST)
- [eclipse-clp-users] Hybrid modeling of VRP and Eclipse coding doubt nishant raj (Mon Jun 27 2011 - 14:38:38 CEST)
- [eclipse-clp-users] Problem regarding Stack size Overflow ! Naman Agarwal (Wed Jun 22 2011 - 11:33:25 CEST)
- [eclipse-clp-users] Nosubtour Querry nishant raj (Thu Jun 16 2011 - 09:35:21 CEST)
- [eclipse-clp-users] Builds changelogs Sergey Dymchenko (Wed Jun 15 2011 - 23:49:59 CEST)
- [eclipse-clp-users] questions on building eclipse 6.0_183 on OpenSolaris Kostas Oikonomou (Sat Jun 11 2011 - 00:03:46 CEST)
- [eclipse-clp-users] Eplex Bogdan Tanasa (Sun Jun 05 2011 - 18:19:24 CEST)
- [eclipse-clp-users] Query nishant raj (Thu Jun 02 2011 - 08:22:47 CEST)
- [eclipse-clp-users] Query nishant raj (Wed Jun 01 2011 - 13:53:25 CEST)
- [eclipse-clp-users] Problem with reified constraints in Eclipse hossein reisi (Wed Jun 01 2011 - 13:07:05 CEST)
- [eclipse-clp-users] Interesting problem from Google Code Jam Sergey Dymchenko (Mon May 30 2011 - 23:00:33 CEST)
- [eclipse-clp-users] mod operation in constraints Sergey Dymchenko (Mon May 30 2011 - 13:17:59 CEST)
- [eclipse-clp-users] Request for code review Sergey Dymchenko (Sat May 28 2011 - 00:18:12 CEST)
- [eclipse-clp-users] AUTO: David Norman is out of the office. (returning 05/31/2011) David_Norman_at_...115... (Fri May 27 2011 - 05:04:26 CEST)
- [eclipse-clp-users] How to use custom functions in searches Sergey Dymchenko (Fri May 27 2011 - 00:06:56 CEST)
- [eclipse-clp-users] Begginers Querry nishant raj (Thu May 26 2011 - 16:09:02 CEST)
- [eclipse-clp-users] java.lang.RuntimeException: Unsupported platform: Windows 7/amd64 David Pautler (Thu May 19 2011 - 11:38:58 CEST)
- [eclipse-clp-users] ECLiPSe + CPLEX \ luke2k4_at_...6... (Wed May 18 2011 - 17:22:48 CEST)
- [eclipse-clp-users] Teorethical Question Bogdan Tanasa (Wed May 18 2011 - 09:36:56 CEST)
- [eclipse-clp-users] Permanently set TkEclipse default working directory? -dp- (Thu May 12 2011 - 08:42:25 CEST)
- [eclipse-clp-users] Strange Behaviour / Bug in eclipse Hendrik Skubch (Wed May 11 2011 - 19:25:46 CEST)
- [eclipse-clp-users] Euler Tour Amr Labib Hussein (Wed May 11 2011 - 11:56:12 CEST)
- [eclipse-clp-users] Customized Search Bogdan Tanasa (Sat May 07 2011 - 20:59:42 CEST)
- [eclipse-clp-users] COLA_at_...304... 2011 - Last Call for Papers Paulo Moura (Wed May 04 2011 - 21:55:51 CEST)
- [eclipse-clp-users] Benchmark problems Hendrik Skubch (Sun May 01 2011 - 18:57:45 CEST)
- [eclipse-clp-users] Problem with TSP(travelling salesman Problem) code when testing on real data Nada Ossama (Sat Apr 30 2011 - 19:18:28 CEST)
- [eclipse-clp-users] Running a MiniZinc model with Eclipse Andrei Neboian (Tue Apr 26 2011 - 00:36:16 CEST)
- [eclipse-clp-users] Routing algorithm, XML A. Alaily (Thu Apr 14 2011 - 22:24:10 CEST)
- [eclipse-clp-users] bb_min problem Bogdan Tanasa (Mon Apr 04 2011 - 17:25:55 CEST)
- [eclipse-clp-users] Symetric Solution Bogdan Tanasa (Mon Apr 04 2011 - 11:44:55 CEST)
- [eclipse-clp-users] Symetric solutions Bogdan Tanasa (Mon Apr 04 2011 - 11:33:56 CEST)
- [eclipse-clp-users] CHR rule remains as delayed goal Ulrich Scholz (Mon Apr 04 2011 - 11:25:31 CEST)
- [eclipse-clp-users] Question about suspend Ulrich Scholz (Fri Apr 01 2011 - 16:46:24 CEST)
- [eclipse-clp-users] RCRA 2011 last CfP Marco Gavanelli (Fri Apr 01 2011 - 13:47:03 CEST)
- [eclipse-clp-users] External procedure constraints Mick Hallward (Sun Mar 27 2011 - 03:58:57 CEST)
- [eclipse-clp-users] (no subject) Benneth Obilor (Wed Mar 09 2011 - 10:38:45 CET)
- [eclipse-clp-users] RCRA 2011: abstract due in one week Marco Gavanelli (Tue Mar 01 2011 - 17:28:26 CET)
- [eclipse-clp-users] create an eclipse arraylist from a c++ data structures Mario Gianni (Wed Feb 23 2011 - 17:25:05 CET)
- [eclipse-clp-users] java.lang.NumberFormatException Joris Van den Broeck (Fri Feb 11 2011 - 12:09:40 CET)
- [eclipse-clp-users] Bug in lex_le/2 Chris Mears (Thu Feb 10 2011 - 06:01:23 CET)
- [eclipse-clp-users] RCRA 2011 call for papers Marco Gavanelli (Wed Feb 02 2011 - 13:10:22 CET)
- [eclipse-clp-users] compiler leaves spurious choice points Ulrich Scholz (Wed Jan 19 2011 - 16:10:24 CET)
- [eclipse-clp-users] delayed goals Sonia Estevez (Wed Jan 12 2011 - 16:07:42 CET)
- [eclipse-clp-users] fd_sets sameset negation Oliver Shycle (Tue Jan 11 2011 - 15:04:20 CET)
- [eclipse-clp-users] New ECLiPSe publications Joachim Schimpf (Tue Jan 04 2011 - 08:41:31 CET)
- [eclipse-clp-users] looking for AsyncEclipseQueue sample code -dp- (Tue Dec 28 2010 - 09:48:32 CET)
- [eclipse-clp-users] Possible to flush all rules and assertions from EmbeddedEclipse to run successive unit tests? -dp- (Thu Dec 16 2010 - 08:15:52 CET)
- [eclipse-clp-users] Out of range error Mick Hallward (Fri Dec 03 2010 - 02:00:35 CET)
- [eclipse-clp-users] Logtalk 2.42.0 released Paulo Moura (Thu Dec 02 2010 - 03:15:19 CET)
- [eclipse-clp-users] Question about ECH: Can a rule body leave a choice point? Ulrich Scholz (Tue Nov 16 2010 - 22:51:47 CET)
- [eclipse-clp-users] Too much output on compiling, how to reduce? Ulrich Scholz (Sun Nov 07 2010 - 15:05:27 CET)
- [eclipse-clp-users] BB_min Bogdan Tanasa (Thu Oct 14 2010 - 22:01:38 CEST)
- [eclipse-clp-users] FW: code problem Bogdan Tanasa (Fri Oct 08 2010 - 23:32:36 CEST)
- [eclipse-clp-users] FW: code problem Bogdan Tanasa (Fri Oct 08 2010 - 22:53:29 CEST)
- [eclipse-clp-users] FW: code problem Bogdan Tanasa (Fri Oct 08 2010 - 18:08:07 CEST)
- [eclipse-clp-users] code problem Bogdan Tanasa (Fri Oct 08 2010 - 14:20:02 CEST)
- [eclipse-clp-users] Execution time Jacky (Tue Sep 21 2010 - 11:06:26 CEST)
- [eclipse-clp-users] urgent eclipse problem paniz alipour (Sun Sep 19 2010 - 22:17:14 CEST)
- [eclipse-clp-users] eclipse problem paniz alipour (Sat Sep 18 2010 - 10:22:24 CEST)
- [eclipse-clp-users] eclipse problem paniz alipour (Fri Sep 17 2010 - 19:37:39 CEST)
- [eclipse-clp-users] eclipse paniz alipour (Fri Sep 17 2010 - 09:07:58 CEST)
- [eclipse-clp-users] Logtalk 2.41.0 released Paulo Moura (Wed Sep 15 2010 - 20:51:33 CEST)
- [eclipse-clp-users] Remote Connection Prolog Mario Gianni (Wed Sep 15 2010 - 14:42:29 CEST)
- [eclipse-clp-users] Command Prompt Query Igor Kondrasovas (Sat Sep 11 2010 - 02:02:29 CEST)
- [eclipse-clp-users] how to solve this problem w/o non-logical variable? Ulrich Scholz (Fri Sep 10 2010 - 23:37:08 CEST)
- [eclipse-clp-users] Tung Le invited you to Dropbox Dropbox (Tue Sep 07 2010 - 17:14:27 CEST)
- [eclipse-clp-users] How to communicate prolog with c++ Siyang Tao (Tue Sep 07 2010 - 10:16:51 CEST)
- [eclipse-clp-users] Eclipse-Java communication times Daniel Riera (Sun Sep 05 2010 - 21:39:05 CEST)
- [eclipse-clp-users] Goal failed unexpectedly Jacky (Fri Sep 03 2010 - 15:01:30 CEST)
- [eclipse-clp-users] rewritten the default indomain(X, max).? mauricio montecinos (Tue Aug 31 2010 - 20:31:11 CEST)
- [eclipse-clp-users] ECLiPSe execution question Jacky (Tue Aug 31 2010 - 16:31:47 CEST)
- [eclipse-clp-users] Possible bugs solving FlatZinc problems Roberto Castañeda (Sun Aug 29 2010 - 19:01:25 CEST)
- [eclipse-clp-users] bb_min problem Bogdan Tanasa (Tue Aug 24 2010 - 17:06:25 CEST)
- [eclipse-clp-users] my own sum Bogdan Tanasa (Tue Aug 24 2010 - 14:18:20 CEST)
- [eclipse-clp-users] my own sum Bogdan Tanasa (Tue Aug 24 2010 - 14:17:13 CEST)
- [eclipse-clp-users] length time of eclipse paniz alipour (Thu Aug 12 2010 - 16:29:29 CEST)
- [eclipse-clp-users] eclipse problem paniz alipour (Fri Aug 06 2010 - 21:58:06 CEST)
- [eclipse-clp-users] Piecewise Linear functions Marco Gavanelli (Wed Aug 04 2010 - 21:49:50 CEST)
- [eclipse-clp-users] strange behaviour of minimize/bb_min Stephan Schiffel (Wed Aug 04 2010 - 12:01:17 CEST)
- [eclipse-clp-users] eclipse paniz alipour (Thu Jul 29 2010 - 15:42:18 CEST)
- [eclipse-clp-users] loading library time_log Oliver Shycle (Wed Jul 28 2010 - 14:58:20 CEST)
- [eclipse-clp-users] Mario Gianni - Eclipse Global Setting Mario Gianni (Wed Jul 28 2010 - 14:08:00 CEST)
- [eclipse-clp-users] eclipse problem paniz alipour (Mon Jul 26 2010 - 08:31:23 CEST)
- [eclipse-clp-users] Macro expansion, C interface \ luke2k4_at_...6... (Mon Jul 26 2010 - 03:01:58 CEST)
- [eclipse-clp-users] eclipse paniz alipour (Sat Jul 24 2010 - 19:04:34 CEST)
- [eclipse-clp-users] eclipse paniz alipour (Sat Jul 24 2010 - 17:20:54 CEST)
- [eclipse-clp-users] eclipse paniz alipour (Sat Jul 24 2010 - 16:13:21 CEST)
- [eclipse-clp-users] (no subject) paniz alipour (Fri Jul 23 2010 - 18:51:23 CEST)
- [eclipse-clp-users] eclipse university time tabling paniz alipour (Fri Jul 23 2010 - 18:48:14 CEST)
- [eclipse-clp-users] eclipse university time tabling paniz alipour (Fri Jul 23 2010 - 18:42:40 CEST)
- [eclipse-clp-users] World's simplest search visualizer Joachim Schimpf (Fri Jul 16 2010 - 13:55:26 CEST)
- [eclipse-clp-users] EmbeddedEclipse produces a Throw Philipp Marcus (Tue Jul 13 2010 - 13:25:10 CEST)
- [eclipse-clp-users] LP solvers via eplex \ luke2k4_at_...6... (Tue Jul 13 2010 - 02:51:11 CEST)
- [eclipse-clp-users] parallel predicates in eclipse Christian Wirth (Wed Jun 30 2010 - 19:48:53 CEST)
- [eclipse-clp-users] OutOfProcessEclipse and Linux Christian Wirth (Mon Jun 28 2010 - 16:23:18 CEST)
- [eclipse-clp-users] Customizing Eplex Wit Jakuczun (Mon Jun 28 2010 - 14:44:10 CEST)
- [eclipse-clp-users] Problem with web site access Joachim Schimpf (Fri Jun 25 2010 - 04:28:15 CEST)
- [eclipse-clp-users] RES: RES: RES: minlist /2 in a Point list Igor Kondrasovas (Fri Jun 25 2010 - 01:38:18 CEST)
- [eclipse-clp-users] Time profiling / Increasing sample count Christian Wirth (Wed Jun 23 2010 - 17:45:43 CEST)
- [eclipse-clp-users] Multicore/CPU systems and Eclipse CLP Christian Wirth (Tue Jun 22 2010 - 17:10:55 CEST)
- [eclipse-clp-users] typical sources of duplicate solutions Oliver Shycle (Mon Jun 21 2010 - 11:31:35 CEST)
- [eclipse-clp-users] RES: RES: minlist /2 in a Point list Igor Kondrasovas (Sat Jun 19 2010 - 01:33:11 CEST)
- [eclipse-clp-users] Logtalk 2.40.0 released Paulo Moura (Wed Jun 16 2010 - 01:34:18 CEST)
- [eclipse-clp-users] Tracing dynamic predicates Christian Wirth (Fri Jun 11 2010 - 15:21:19 CEST)
- [eclipse-clp-users] Last call: CFP: 24th Workshop on (Constraint) Logic Programming -- Sept 14-16 Cairo, EGYPT Carmen Gervet (Thu Jun 10 2010 - 12:58:04 CEST)
- [eclipse-clp-users] Problem of Collections.EMPTY_LIST. 良懋 周 (Wed Jun 09 2010 - 20:06:57 CEST)
- [eclipse-clp-users] Timeboundary Christian Wirth (Tue Jun 01 2010 - 16:33:54 CEST)
- [eclipse-clp-users] minlist /2 in a Point list Igor Kondrasovas (Wed May 19 2010 - 05:50:24 CEST)
- [eclipse-clp-users] Finding all Solutions to bb_min Amine Marref (Fri May 14 2010 - 17:50:34 CEST)
- [eclipse-clp-users] saving the resolution list of a call Christian Wirth (Fri May 14 2010 - 17:30:54 CEST)
- [eclipse-clp-users] Backtracking over current predicate only Christian Wirth (Fri May 14 2010 - 16:50:52 CEST)
- [eclipse-clp-users] first solution Bogdan Tanasa (Wed May 12 2010 - 11:47:10 CEST)
- [eclipse-clp-users] Counting peter barkly (Wed May 12 2010 - 11:26:51 CEST)
- [eclipse-clp-users] global/stack size Christos Orovas (Wed May 12 2010 - 02:44:45 CEST)
- [eclipse-clp-users] Fw: global/stack size - OK Christos Orovas (Wed May 12 2010 - 02:51:18 CEST)
- [eclipse-clp-users] Unexpected behaviour, may this be a bug ? \ luke2k4_at_...6... (Sun May 09 2010 - 15:20:12 CEST)
- [eclipse-clp-users] module visibility Aya Saad (Sat May 08 2010 - 19:07:13 CEST)
- [eclipse-clp-users] Using Eclipse in Command-Line Igor Kondrasovas (Fri May 07 2010 - 22:55:01 CEST)
- [eclipse-clp-users] data size sent to eclipse!! carole dawood (Wed May 05 2010 - 21:44:13 CEST)
- [eclipse-clp-users] Calling predicate from external program Igor Kondrasovas (Wed May 05 2010 - 04:38:09 CEST)
- [eclipse-clp-users] size of data sent to eclipse carole dawood (Tue May 04 2010 - 10:56:43 CEST)
- [eclipse-clp-users] partial search Bogdan Tanasa (Thu Apr 29 2010 - 17:19:35 CEST)
- [eclipse-clp-users] Pareto Optimality + Branch and Bound? Philipp Marcus (Wed Apr 28 2010 - 23:12:56 CEST)
- [eclipse-clp-users] nth0 source code or another solution Christian Wirth (Wed Apr 28 2010 - 16:25:24 CEST)
- [eclipse-clp-users] Reified constraint without propia Philipp Marcus (Tue Apr 27 2010 - 11:28:14 CEST)
- [eclipse-clp-users] rpc call carole dawood (Tue Apr 27 2010 - 00:21:49 CEST)
- [eclipse-clp-users] mapping between java and eclipse carole dawood (Mon Apr 26 2010 - 23:55:50 CEST)
- [eclipse-clp-users] mapping between java and eclipse problem carole dawood (Mon Apr 26 2010 - 23:23:54 CEST)
- [eclipse-clp-users] Excecute a Query from External Program Igor Kondrasovas (Mon Apr 26 2010 - 01:11:54 CEST)
- [eclipse-clp-users] Java-eclipse question Caroline Nabil (Sun Apr 25 2010 - 17:38:12 CEST)
- [eclipse-clp-users] mapping between java and eclipse carole dawood (Fri Apr 23 2010 - 22:21:30 CEST)
- [eclipse-clp-users] Delayed goals at end of search Afonso Henrique Sampaio (Fri Apr 23 2010 - 20:36:00 CEST)
- [eclipse-clp-users] java-eclipse problem Caroline Nabil (Fri Apr 23 2010 - 19:34:39 CEST)
- [eclipse-clp-users] Simple problem - strange effect Philipp Marcus (Thu Apr 22 2010 - 15:19:15 CEST)
- [eclipse-clp-users] Loop Interaction Igor Kondrasovas (Wed Apr 21 2010 - 17:00:21 CEST)
- [eclipse-clp-users] java- eclipse queues communication carole dawood (Wed Apr 21 2010 - 00:13:36 CEST)
- [eclipse-clp-users] java-eclipse problem carole dawood (Tue Apr 20 2010 - 19:24:26 CEST)
- [eclipse-clp-users] java - eclipse problem carole dawood (Tue Apr 20 2010 - 18:28:14 CEST)
- [eclipse-clp-users] java-eclipse problem carole dawood (Tue Apr 20 2010 - 16:21:43 CEST)
- [eclipse-clp-users] java-eclipse problem carole dawood (Tue Apr 20 2010 - 11:49:30 CEST)
- [eclipse-clp-users] Combining lib(cardinal) and lib(fd) Philipp Marcus (Mon Apr 19 2010 - 10:49:56 CEST)
- [eclipse-clp-users] Should it be the error? Wit Jakuczun (Wed Apr 14 2010 - 20:05:30 CEST)
- [eclipse-clp-users] testing NOT existence Christian Wirth (Wed Apr 14 2010 - 19:18:03 CEST)
- [eclipse-clp-users] ECLiPSe 6.0 crashes with simple program Oliver Shycle (Wed Apr 14 2010 - 14:27:37 CEST)
- [eclipse-clp-users] IC produces unwanted delayed goals Philipp Marcus (Tue Apr 13 2010 - 17:42:41 CEST)
- [eclipse-clp-users] Reset Settings Christian Wirth (Tue Apr 13 2010 - 17:08:26 CEST)
- [eclipse-clp-users] Loop without backtracking Christian Wirth (Tue Apr 13 2010 - 15:17:08 CEST)
- [eclipse-clp-users] Knappsack-Problem Modification Philipp Marcus (Mon Apr 12 2010 - 13:36:34 CEST)
- [eclipse-clp-users] Calling Eclipse from php Philippe de Rochambeau (Sun Apr 11 2010 - 16:33:46 CEST)
- [eclipse-clp-users] stack overflow problem carole dawood (Sun Apr 11 2010 - 12:07:48 CEST)
- [eclipse-clp-users] stack overflow problem Carole Rafik Radi Dawood (Sun Apr 11 2010 - 11:30:31 CEST)
- [eclipse-clp-users] Java-Eclipse Interface, Structs. Maged Zamzam (Sun Apr 11 2010 - 01:32:21 CEST)
- [eclipse-clp-users] in place modification Bogdan Tanasa (Fri Apr 09 2010 - 10:12:18 CEST)
- [eclipse-clp-users] User-defined rules phiroc_at_...22... (Fri Apr 09 2010 - 09:39:35 CEST)
- Re: [eclipse-clp-users] Debugging and Development [in Eclipse IDE] -dp- (Fri Apr 09 2010 - 08:35:26 CEST)
- [eclipse-clp-users] Decreasing stack size Christian Wirth (Thu Apr 08 2010 - 21:21:44 CEST)
- [eclipse-clp-users] code problem Bogdan Tanasa (Thu Apr 08 2010 - 20:23:25 CEST)
- [eclipse-clp-users] Need help creating a custom reified constraint Philipp Marcus (Thu Apr 08 2010 - 17:28:14 CEST)
- [eclipse-clp-users] ECLiPSe on AIX Wit Jakuczun (Thu Apr 08 2010 - 15:20:52 CEST)
- [eclipse-clp-users] exporting variables outside for Bogdan Tanasa (Thu Apr 08 2010 - 12:31:10 CEST)
- [eclipse-clp-users] Backttacking optimisation Christian Wirth (Wed Apr 07 2010 - 14:33:20 CEST)
- Re: [eclipse-clp-users] What is the general behaviour of ECLiPSe Meriem Djefel (Fri Apr 02 2010 - 09:46:17 CEST)
- [eclipse-clp-users] What id the general behaviour of ECLiPSe Meriem Djefel (Thu Apr 01 2010 - 16:36:39 CEST)
- [eclipse-clp-users] reset the constraints Bogdan Tanasa (Thu Apr 01 2010 - 15:47:29 CEST)
- [eclipse-clp-users] user defined constraints using propia Oliver Shycle (Thu Apr 01 2010 - 10:39:45 CEST)
- [eclipse-clp-users] bb_min search strategies Bogdan Tanasa (Wed Mar 31 2010 - 14:09:00 CEST)
- [eclipse-clp-users] negate constraints Oliver Shycle (Tue Mar 30 2010 - 09:57:42 CEST)
- [eclipse-clp-users] Get information from query soei85_at_...231... (Sat Mar 27 2010 - 18:31:09 CET)
- [eclipse-clp-users] Saving information Christian Wirth (Fri Mar 26 2010 - 14:30:34 CET)
- [eclipse-clp-users] Thread Handling and Performance Optimisation Christian Wirth (Tue Mar 23 2010 - 16:28:24 CET)
- [eclipse-clp-users] Harder instances Matthew Skala (Mon Mar 22 2010 - 21:59:19 CET)
- [eclipse-clp-users] Graph Algorithms Library - make_graph Mohamed Selim (Mon Mar 22 2010 - 21:39:40 CET)
- [eclipse-clp-users] Re: Error in the code of my Problem Meriem Djefel (Fri Mar 19 2010 - 11:35:10 CET)
- [eclipse-clp-users] Fwd: Re: Error in the code of my Problem Meriem Djefel (Thu Mar 18 2010 - 08:33:55 CET)
- [eclipse-clp-users] Domain Definiton in Cut and Packing Problem Igor Kondrasovas (Wed Mar 17 2010 - 22:57:42 CET)
- [eclipse-clp-users] Labeling a struct. Maged Zamzam (Wed Mar 17 2010 - 15:41:56 CET)
- [eclipse-clp-users] Why minimize predicate does not provide solutions sorted after the value of the cost function. Bogdan Tanasa (Mon Mar 15 2010 - 14:23:36 CET)
- [eclipse-clp-users] CPAIOR'10 - Workshop on Open Source Tools for CP and MP Joachim Schimpf (Sun Mar 14 2010 - 23:57:14 CET)
- [eclipse-clp-users] Debugging and Development Christian Wirth (Fri Mar 12 2010 - 16:55:39 CET)
- [eclipse-clp-users] Java-ECLIPSE Interface Dott. Anselmi Biagio (Thu Mar 11 2010 - 23:16:00 CET)
- Re: [eclipse-clp-users] possible to turn strings into variable names? WL Ko (Wed Mar 10 2010 - 20:23:26 CET)
- [eclipse-clp-users] How to Have all the solution of a problem Meriem Djefel (Thu Mar 04 2010 - 13:34:08 CET)
- [eclipse-clp-users] Recommended way of stopping an embedded ECLiPSe programmatically? david (Mon Mar 01 2010 - 14:51:32 CET)
- [eclipse-clp-users] Logtalk 2.39.0 released Paulo Moura (Sun Feb 28 2010 - 17:41:10 CET)
- [eclipse-clp-users] constraint on indexed elements Benoit Hoessen (Wed Feb 24 2010 - 11:33:32 CET)
- [eclipse-clp-users] List of Terms to Term Christian Wirth (Tue Feb 23 2010 - 18:25:55 CET)
- [eclipse-clp-users] Problem building tutorial/lp_cut_stock.ecl Josef Chmel (Mon Feb 22 2010 - 21:48:27 CET)
- [eclipse-clp-users] A new Polish book on CLP via ECLiPSe Antoni Niederlinski (Fri Feb 19 2010 - 20:28:34 CET)
- [eclipse-clp-users] Getting results from probe_sched/5 Riyadh Jemal (Fri Feb 19 2010 - 14:00:18 CET)
- [eclipse-clp-users] timeout in bb_min/3 Amine Marref (Thu Feb 18 2010 - 14:23:34 CET)
- [eclipse-clp-users] Getting results from probe_sched/5 Riyadh Jemal (Fri Feb 12 2010 - 15:31:43 CET)
- [eclipse-clp-users] Eclipse connectig with Gecode Claudio Cesar de Sá (Fri Feb 12 2010 - 14:34:10 CET)
- [eclipse-clp-users] Constraint Programming Newsletter and ECLiPSe Job Offer Joachim Schimpf (Thu Feb 11 2010 - 13:44:07 CET)
- Re: [eclipse-clp-users] Stream log_output Joachim Schimpf (Thu Feb 11 2010 - 04:52:32 CET)
- [eclipse-clp-users] Getting legaly named variables / Unifiying Term Lists Christian Wirth (Wed Feb 10 2010 - 21:27:39 CET)
- [eclipse-clp-users] Existence of a solution Christian Wirth (Wed Feb 10 2010 - 19:27:09 CET)
- [eclipse-clp-users] Two problems with the ic-Solver Andreas Berger (Wed Feb 10 2010 - 18:11:05 CET)
- [eclipse-clp-users] help with gcc_matrix Moon, Geoff (Wed Feb 10 2010 - 04:30:05 CET)
- [eclipse-clp-users] Configure a unification to specify when two floats should be considered equal? -dp- (Tue Feb 09 2010 - 06:51:12 CET)
- [eclipse-clp-users] help with gcc_matrix Moon, Geoff (Tue Feb 09 2010 - 05:23:45 CET)
- [eclipse-clp-users] Guess Free Solution Alex Rozenshteyn (Mon Feb 08 2010 - 21:10:05 CET)
- [eclipse-clp-users] A complex Problem Christian Wirth (Mon Feb 08 2010 - 15:35:29 CET)
- [eclipse-clp-users] Where to find documentation for Tracer Filter usage? -dp- (Mon Feb 08 2010 - 06:15:08 CET)
- [eclipse-clp-users] Empty problem vicenç (Sun Feb 07 2010 - 20:10:30 CET)
- [eclipse-clp-users] Multiple Value Ordering Amine Marref (Sat Feb 06 2010 - 14:28:47 CET)
- [eclipse-clp-users] Bugs in http://87.230.22.228/examples/crew.ecl.txt? C A (Sat Feb 06 2010 - 12:22:19 CET)
- [eclipse-clp-users] Variable Names Christian Wirth (Fri Feb 05 2010 - 16:26:34 CET)
- [eclipse-clp-users] Error using ic-symbolic and ic Meriem Djefel (Fri Feb 05 2010 - 10:24:47 CET)
- [eclipse-clp-users] CFP: WLP - 24th Workshop on (Constraint) Logic Programming Carmen Gervet (Thu Feb 04 2010 - 07:54:07 CET)
- [eclipse-clp-users] RCRA 2010: First call for papers Marco Gavanelli (Wed Feb 03 2010 - 23:37:40 CET)
- [eclipse-clp-users] Propagate and not resolve a problème mdjefel (Wed Feb 03 2010 - 11:22:47 CET)
- [eclipse-clp-users] Program Does not Load Amine Marref (Tue Feb 02 2010 - 15:22:14 CET)
- [eclipse-clp-users] Search-Effort Prediction Amine Marref (Thu Jan 28 2010 - 13:36:13 CET)
- [eclipse-clp-users] Command line interpreter Alex Rozenshteyn (Thu Jan 21 2010 - 19:59:09 CET)
- [eclipse-clp-users] Problems with Xcode configurations Roman UAB (Tue Jan 19 2010 - 12:29:01 CET)
- [eclipse-clp-users] Help Using clpcbc and eplex Kiyan Ahmadizadeh (Sun Jan 10 2010 - 19:27:47 CET)
- [eclipse-clp-users] Getting started with ic_hybrid_sets Matthew Skala (Sat Jan 09 2010 - 19:13:48 CET)
- [eclipse-clp-users] How to dynamically create a list of Eclipse structure elements from Java (Eclipse-Java embedding problem)?? Tobiasz Kowalczyk (Mon Dec 28 2009 - 16:06:32 CET)
- [eclipse-clp-users] bug version 6? Vicenç Gomez (Mon Dec 28 2009 - 11:30:36 CET)
- [eclipse-clp-users] compact eclipse platform \ luke2k4_at_...6... (Sat Dec 26 2009 - 19:07:59 CET)
- [eclipse-clp-users] Looking for builtin variant of is/2 that suspends on Expr2 -dp- (Tue Dec 22 2009 - 02:21:36 CET)
- [eclipse-clp-users] executing eclipse code from java Andre Trudel (Wed Dec 16 2009 - 21:10:19 CET)
- [eclipse-clp-users] Visualizing delayed goals as 2D spatial regions in Java -dp- (Fri Dec 11 2009 - 02:19:05 CET)
- [eclipse-clp-users] Visualizing delayed goals as 2D spatial regions in Java -dp- (Sun Dec 06 2009 - 15:40:33 CET)
- [eclipse-clp-users] Logtalk 2.38.0 released Paulo Moura (Fri Dec 04 2009 - 03:08:19 CET)
- [eclipse-clp-users] Job opening for ECLiPSe expert in Singapore on cognitive modeling project -dp- (Mon Nov 30 2009 - 06:30:44 CET)
- [eclipse-clp-users] add ownership of .pro files (and drop ownership of .pl files)? -dp- (Sun Nov 29 2009 - 08:38:40 CET)
- [eclipse-clp-users] How to extend lib(ic) to get stronger propagation? Ulrich Scholz (Tue Nov 17 2009 - 13:25:15 CET)
- [eclipse-clp-users] Suspension: "constrained" does not wake on unification of ic variables Ulrich Scholz (Mon Nov 16 2009 - 11:12:02 CET)
- [eclipse-clp-users] Working with lists Ismael München (Sun Nov 15 2009 - 20:36:04 CET)
- [eclipse-clp-users] bb_min: search did not instantiate cost variable Igor Kondrasovas (Sat Nov 14 2009 - 14:25:16 CET)
- [eclipse-clp-users] Reading File Igor Kondrasovas (Fri Nov 13 2009 - 03:24:47 CET)
- [eclipse-clp-users] Searching working memory without destructive unification? -dp- (Fri Nov 13 2009 - 02:45:43 CET)
- [eclipse-clp-users] Reading File Igor Kondrasovas (Thu Nov 12 2009 - 22:15:51 CET)
- [eclipse-clp-users] debugging in embedded engine Levente Zsíros (Thu Nov 12 2009 - 16:06:07 CET)
- [eclipse-clp-users] Variables and domains Afonso Henrique Sampaio (Wed Nov 11 2009 - 15:11:45 CET)
- [eclipse-clp-users] Optimize Ismael München (Fri Nov 06 2009 - 09:22:37 CET)
- Re: [eclipse-clp-users] More Info Dynamically Imposing Constraints Igor Kondrasovas (Thu Nov 05 2009 - 01:41:53 CET)
- [eclipse-clp-users] Return one result Ismael München (Thu Nov 05 2009 - 01:48:46 CET)
- [eclipse-clp-users] Dynamically Imposing Constraints Igor Kondrasovas (Mon Nov 02 2009 - 14:16:11 CET)
- [eclipse-clp-users] Constraints in Loop Igor Kondrasovas (Thu Oct 29 2009 - 18:37:29 CET)
- [eclipse-clp-users] Array Dimension Igor Kondrasovas (Tue Oct 27 2009 - 21:49:31 CET)
- [eclipse-clp-users] Can EXDROutputStream.write() parse strings? -dp- (Mon Oct 26 2009 - 09:26:39 CET)
- [eclipse-clp-users] C Interface Functions does not support int64 Daniel Saur (Sat Oct 24 2009 - 21:18:44 CEST)
- [eclipse-clp-users] readline or command history editing? Gordon (Wed Oct 21 2009 - 22:49:14 CEST)
- [eclipse-clp-users] Locate parameters simone pascucci (Wed Oct 21 2009 - 18:49:20 CEST)
- [eclipse-clp-users] dictionary hash collisions Stephan Schiffel (Thu Oct 15 2009 - 14:44:10 CEST)
- [eclipse-clp-users] Managing lists of real variable simone pascucci (Tue Oct 13 2009 - 15:59:39 CEST)
- [eclipse-clp-users] instantiation fault while ic:labeling Oliver Scheickl (Mon Oct 12 2009 - 15:52:01 CEST)
- [eclipse-clp-users] Problem using probe_sched Riyadh Jemal (Sat Oct 10 2009 - 07:15:21 CEST)
- [eclipse-clp-users] Help on library(graphviz) Afonso Henrique Sampaio (Fri Oct 09 2009 - 19:44:05 CEST)
- [eclipse-clp-users] Question about using bb_min/minimize Seppe vanden Broucke (Fri Oct 09 2009 - 17:58:55 CEST)
- [eclipse-clp-users] Inconsistency between ECL/Java interfaces? Gregory Harman (Wed Oct 07 2009 - 16:08:40 CEST)
- [eclipse-clp-users] need help on general problem solving approach Oliver Scheickl (Fri Oct 02 2009 - 13:31:34 CEST)
- [eclipse-clp-users] Problem using probe_sched Riyadh Jemal (Thu Oct 01 2009 - 15:28:20 CEST)
- [eclipse-clp-users] possible work opportunities with ECLiPSe Jonathan Lever (Thu Oct 01 2009 - 19:41:08 CEST)
- [eclipse-clp-users] Embed ECLiPSe in Eclipse Plugin Oliver Scheickl (Thu Oct 01 2009 - 12:06:11 CEST)
- [eclipse-clp-users] static type checking in ECLiPSe Ulrich Scholz (Sun Sep 27 2009 - 22:11:00 CEST)
- [eclipse-clp-users] clpqr Zhang, Y (Thu Sep 24 2009 - 06:06:38 CEST)
- [eclipse-clp-users] How to declare a symbolic variable Meriem Djefel (Tue Sep 22 2009 - 12:15:34 CEST)
- [eclipse-clp-users] eclipse stuck at a simple problem Yu Liu (Thu Sep 17 2009 - 19:15:31 CEST)
- [eclipse-clp-users] A constraint with exponentiation liu.yu.senior.china (Tue Sep 15 2009 - 23:48:44 CEST)
- [eclipse-clp-users] product of a list of expressions liu.yu.senior.china (Tue Sep 15 2009 - 06:17:58 CEST)
- [eclipse-clp-users] Version 6.0 cannot compile large files Ercan Ucan (Mon Sep 14 2009 - 11:00:15 CEST)
- [eclipse-clp-users] Java interfaces and constraints simone pascucci (Sat Sep 12 2009 - 02:07:54 CEST)
- [eclipse-clp-users] out of range ::/2 liu.yu.senior.china (Fri Sep 11 2009 - 22:30:58 CEST)
- [eclipse-clp-users] multi-platform deployment of embedded ECLiPSe Ulrich Scholz (Fri Sep 11 2009 - 18:16:33 CEST)
- [eclipse-clp-users] several instances of ECLiPSe on Windows? Ulrich Scholz (Fri Sep 11 2009 - 18:21:51 CEST)
- [eclipse-clp-users] multi-loop and if then statement liu.yu.senior.china (Tue Sep 08 2009 - 01:55:04 CEST)
- [eclipse-clp-users] Question on search/6 Daniel Riera (Wed Sep 02 2009 - 09:17:10 CEST)
- [eclipse-clp-users] RCRA09 deadline extension Marco Gavanelli (Tue Sep 01 2009 - 16:02:48 CEST)
- [eclipse-clp-users] A test message, kindly ingore it. Thank you. Zhang, Y (Fri Aug 28 2009 - 17:38:51 CEST)
- [eclipse-clp-users] Linear Optimization Problem Igor Kondrasovas (Wed Aug 26 2009 - 17:51:29 CEST)
- [eclipse-clp-users] Recent changes in Sourceforge's ECLiPSe webpages Kish Shen (Wed Aug 26 2009 - 17:21:19 CEST)
- [eclipse-clp-users] API for c++ nolinear constraints liu.yu.senior.china (Sun Aug 23 2009 - 06:39:03 CEST)
- [eclipse-clp-users] ic constraints and mod Dario Campagna (Fri Aug 14 2009 - 16:47:41 CEST)
- [eclipse-clp-users] How to define coordinates that solve a system of quadratic equations, then use in search? -dp- (Thu Aug 13 2009 - 05:07:27 CEST)
- [eclipse-clp-users] tabular logic programming Benedict Kavanagh (Wed Aug 12 2009 - 20:25:13 CEST)
- [eclipse-clp-users] How to define coordinates that solve a system of quadratic equations, then use in search? Domain Admin (Wed Aug 12 2009 - 07:43:05 CEST)
- [eclipse-clp-users] Domains of ic variables Dario Campagna (Mon Aug 10 2009 - 19:44:01 CEST)
- [eclipse-clp-users] Strange behavior of the ic solver Dario Campagna (Mon Aug 10 2009 - 11:09:58 CEST)
- [eclipse-clp-users] Problem formulating simple ic_sets test David Pautler (Fri Aug 07 2009 - 09:44:16 CEST)
- [eclipse-clp-users] Constraint limits and Timetabling? Seppe vanden Broucke (Wed Aug 05 2009 - 16:00:10 CEST)
- [eclipse-clp-users] ECLiPSe and web services Ulrich Scholz (Mon Aug 03 2009 - 17:49:37 CEST)
- [eclipse-clp-users] Newbie TKEclipse question Gregory Harman (Wed Jul 29 2009 - 20:45:45 CEST)
- [eclipse-clp-users] ECLiPSe - Real variables domain propagation problem Wayne Mac Adams (Wed Jul 22 2009 - 12:52:48 CEST)
- [eclipse-clp-users] Evaluation of arithmetic expressions Takis Stamatopoulos (Thu Jul 02 2009 - 10:56:43 CEST)
- [eclipse-clp-users] On implementation of post_goal and EC_resume Zhang, Y (Sun Jun 21 2009 - 17:59:08 CEST)
- [eclipse-clp-users] Any activity on Saros? David Pautler (Thu Jun 18 2009 - 02:28:04 CEST)
- [eclipse-clp-users] Sum of Products Yahya Mowiena (Wed Jun 17 2009 - 12:11:27 CEST)
- [eclipse-clp-users] tkeclipse Jose Luis (Mon Jun 08 2009 - 14:46:47 CEST)
- [eclipse-clp-users] Subscribe Yahya Mowiena (Sun Jun 07 2009 - 20:45:58 CEST)
- [eclipse-clp-users] A problem I am facing in Eclipse prolog Yahya Mowiena (Sun Jun 07 2009 - 05:07:09 CEST)
- [eclipse-clp-users] Web site access problems Joachim Schimpf (Fri Jun 05 2009 - 10:23:38 CEST)
- [eclipse-clp-users] Error compiling in C++ calling eclipse. Roman Buil (Wed May 27 2009 - 19:43:45 CEST)
- [eclipse-clp-users] vb interface Jonathan Lever (Mon May 11 2009 - 19:29:41 CEST)
- [eclipse-clp-users] New file releases for ECLiPSe 6.0 #82 on Sourceforge Kish Shen (Mon May 11 2009 - 17:41:27 CEST)
- [eclipse-clp-users] amount of shallow backtracking. mauricio montecinos (Thu May 07 2009 - 22:30:49 CEST)
- [eclipse-clp-users] Tail recursion in eclipse? Martin Wegner (Tue May 05 2009 - 17:52:38 CEST)
- [eclipse-clp-users] how to generate *well-spaced* but accurate solutions using 'locate' Solly Brown (Sat Apr 25 2009 - 10:43:07 CEST)
- [eclipse-clp-users] Query: possible tool or parser to interface ECLiPSe with Description Logic based OWL ontologies? william fitzgerald (Thu Apr 23 2009 - 16:25:26 CEST)
- [eclipse-clp-users] Using foreign solver Ulisses Dias (Fri Apr 17 2009 - 14:57:20 CEST)
- [eclipse-clp-users] Variable Bound Symbols in Embedded George K (Thu Apr 16 2009 - 10:28:17 CEST)
- [eclipse-clp-users] Problem Compiling from Source George K (Wed Apr 15 2009 - 07:57:36 CEST)
- [eclipse-clp-users] Array Access Mark Wallace (Wed Apr 15 2009 - 01:09:24 CEST)
- [eclipse-clp-users] Modifying node attributes in lib(graphviz) Justin W (Mon Apr 13 2009 - 16:20:18 CEST)
- [eclipse-clp-users] accessing an undefined variable does not throw an error Ulrich Scholz (Sat Apr 04 2009 - 15:24:20 CEST)
- [eclipse-clp-users] Problem with lib(hash) Ulrich Scholz (Mon Mar 30 2009 - 10:57:06 CEST)
- [eclipse-clp-users] Finding the ECLiPSE startup directory Paulo Moura (Mon Mar 16 2009 - 15:05:29 CET)
- [eclipse-clp-users] commercial users of Eclipse? Tom Schrijvers (Thu Mar 05 2009 - 12:35:52 CET)
- [eclipse-clp-users] Java error messages Gregory Harman (Tue Mar 03 2009 - 05:19:46 CET)
- [eclipse-clp-users] counting backtracking Joy Joy (Fri Feb 27 2009 - 11:54:51 CET)
- [eclipse-clp-users] structures - how would you implement associations between different 'types' of structures. Samuel Bayliss (Tue Feb 24 2009 - 19:23:31 CET)
- [eclipse-clp-users] Another compiler bug Stephan Schiffel (Mon Feb 23 2009 - 17:41:55 CET)
- [eclipse-clp-users] basic problem Marcin Krol (Mon Feb 16 2009 - 15:57:54 CET)
- [eclipse-clp-users] Propagators with a state Wit Jakuczun (Sun Feb 15 2009 - 19:00:13 CET)
- [eclipse-clp-users] ECLiPSe stream usage Giuseppe Di Guglielmo (Fri Feb 13 2009 - 22:40:49 CET)
- [eclipse-clp-users] Resume - permanent variables Giuseppe Di Guglielmo (Fri Feb 13 2009 - 14:14:29 CET)
- [eclipse-clp-users] ECLiPSe - C/C++ interaction Giuseppe Di Guglielmo (Wed Feb 11 2009 - 14:07:53 CET)
- [eclipse-clp-users] C++ interface and GCC 4.x Chris Mears (Tue Feb 10 2009 - 00:14:32 CET)
- [eclipse-clp-users] Bug in ECLiPSe-6 Stephan Schiffel (Fri Feb 06 2009 - 10:56:13 CET)
- [eclipse-clp-users] Assignment propagation queue Lars Kotthoff (Mon Feb 02 2009 - 17:08:08 CET)
- [eclipse-clp-users] how to recompile kernel/io to wrap remote_connect_* Yngwie (Fri Jan 30 2009 - 18:38:20 CET)
- [eclipse-clp-users] Finite domain with partial order Meer, A.P. van der (Fri Jan 30 2009 - 12:04:01 CET)
- [eclipse-clp-users] memory leak Stephan Schiffel (Thu Jan 29 2009 - 14:41:40 CET)
- [eclipse-clp-users] How to access ECH constraints without copying them? Ulrich Scholz (Tue Jan 27 2009 - 10:30:22 CET)
- [eclipse-clp-users] Questions about ECR Ulrich Scholz (Tue Jan 27 2009 - 10:26:29 CET)
- [eclipse-clp-users] Parser for PDDL in ECLiPSe Ulrich Scholz (Tue Jan 27 2009 - 10:16:27 CET)
- [eclipse-clp-users] Integer constraint solver with CHR, example code? Ulrich Scholz (Mon Jan 19 2009 - 13:47:50 CET)
- [eclipse-clp-users] issues with ic and simplification Ulrich Scholz (Mon Jan 19 2009 - 13:39:01 CET)
- [eclipse-clp-users] Precise garbage collection Joachim Schimpf (Fri Jan 16 2009 - 04:13:12 CET)
- Re: [eclipse-clp-users] Question about recursion frames inECLiPSe-CLP Schüpbach Adrian Laurent (Wed Jan 14 2009 - 17:01:10 CET)
- [eclipse-clp-users] posting ic constraints does not terminate Ulrich Scholz (Tue Jan 13 2009 - 12:59:17 CET)
- [eclipse-clp-users] Question about recursion frames in ECLiPSe-CLP Schüpbach Adrian Laurent (Tue Jan 13 2009 - 14:05:28 CET)
- [eclipse-clp-users] Amount of variables that have been instantiated by enumeration or propagation mauricio montecinos (Sat Jan 10 2009 - 01:14:33 CET)
- [eclipse-clp-users] my_indomain Daniel Riera (Wed Jan 07 2009 - 17:31:48 CET)
- [eclipse-clp-users] search tree node count Lars Kotthoff (Wed Jan 07 2009 - 12:08:22 CET)
- [eclipse-clp-users] ECLiPSe and .Net Wit Jakuczun (Tue Jan 06 2009 - 15:20:10 CET)
- [eclipse-clp-users] Question about parsing Huy Pham (Mon Jan 05 2009 - 16:20:34 CET)
- [eclipse-clp-users] ECLiPSe's equivalence for "set_prolog_flag(unknown, fail)" Huy Pham (Sat Jan 03 2009 - 20:51:41 CET)
- [eclipse-clp-users] Differences in behaviour between 5.1 and 6.0 luke2k4_at_...6... (Fri Dec 26 2008 - 00:24:01 CET)
- [eclipse-clp-users] Local search library - lib(tentative) Joachim Schimpf (Tue Dec 02 2008 - 04:16:38 CET)
- [eclipse-clp-users] dump/3 Jorge Navas (Mon Nov 24 2008 - 08:44:47 CET)
- [eclipse-clp-users] configuring mac os binaries Ed Morehouse (Mon Nov 24 2008 - 08:57:27 CET)
- [eclipse-clp-users] looking for examples based on 'visualisation tools manual' George Thomas (Fri Nov 21 2008 - 23:15:18 CET)
- [eclipse-clp-users] Debugger speed Joachim Schimpf (Thu Nov 20 2008 - 13:25:35 CET)
- [eclipse-clp-users] Bug in tutorial section on bounds consistency? David Pautler (Mon Nov 17 2008 - 14:16:02 CET)
- [eclipse-clp-users] Saros: syntax coloring? warning about tracer_tcl? David Pautler (Mon Nov 17 2008 - 04:22:27 CET)
- [eclipse-clp-users] Install on Ganymede SR1 win32 fails David Pautler (Fri Nov 14 2008 - 04:06:00 CET)
- [eclipse-clp-users] Bug in eclipse-6? Stephan Schiffel (Thu Nov 13 2008 - 09:28:57 CET)
- [eclipse-clp-users] Mixed-integer problems making use of the alldifferent constraint Nicolas BERGER (Wed Nov 05 2008 - 13:15:13 CET)
- [eclipse-clp-users] database interface Carlo Matteo Scalzo (Wed Oct 29 2008 - 13:29:37 CET)
- [eclipse-clp-users] Using eclipse in bash Ulisses Dias (Sun Oct 19 2008 - 17:23:01 CEST)
- [eclipse-clp-users] How to create a EC_word/string from an array? Giuseppe Di Guglielmo (Thu Oct 16 2008 - 23:32:31 CEST)
- [eclipse-clp-users] How to define a new predicate by using C/C++ API? Giuseppe Di Guglielmo (Thu Oct 16 2008 - 21:48:09 CEST)
- [eclipse-clp-users] How to access to single bit in ECLiPSe ? Giuseppe Di Guglielmo (Thu Oct 16 2008 - 14:11:36 CEST)
- [eclipse-clp-users] Saros - source code Rafael Oliveira (Thu Oct 16 2008 - 04:23:03 CEST)
- [eclipse-clp-users] Remote Tools Rafael Oliveira (Wed Oct 15 2008 - 00:22:18 CEST)
- [eclipse-clp-users] Delayed Goals Ulisses Dias (Tue Oct 14 2008 - 20:38:27 CEST)
- [eclipse-clp-users] Eclipse Prolog - Java Rafael Oliveira (Tue Oct 14 2008 - 01:57:44 CEST)
- [eclipse-clp-users] ECLiPSe C/C++ API and user/kernel time Giuseppe Di Guglielmo (Mon Oct 13 2008 - 06:51:11 CEST)
- [eclipse-clp-users] About operations over Lists, search space function and something about indicators Danilo Santander (Thu Oct 09 2008 - 14:57:00 CEST)
- [eclipse-clp-users] instantiation fault behemot_at_...78... (Wed Oct 08 2008 - 10:38:37 CEST)
- [eclipse-clp-users] Scope of variable access behemot_at_...78... (Tue Oct 07 2008 - 19:07:28 CEST)
- Re: [eclipse-clp-users] Release of ECLiPSe 6.0 Wit Jakuczun (Fri Oct 03 2008 - 08:29:20 CEST)
- [eclipse-clp-users] Need Help, Problem with variables? Danilo Santander (Wed Oct 01 2008 - 13:18:21 CEST)
- [eclipse-clp-users] Release 6.0 Joachim Schimpf (Independent Contractor) (Mon Sep 29 2008 - 09:02:45 CEST)
- [eclipse-clp-users] Integer Set Library: Performance related to initial domain size? Ulrich Scholz (Thu Sep 25 2008 - 14:58:22 CEST)
- [eclipse-clp-users] Implication Handling in Eclipse. Amine Marref (Mon Sep 15 2008 - 17:04:09 CEST)
- [eclipse-clp-users] Eplex message "Cbc3007W No integer variables - nothing to do": How to get rid of? Ulrich Scholz (Mon Sep 15 2008 - 10:21:22 CEST)
- [eclipse-clp-users] Slow OutOfProcessEclipse under Unix/Linux Martin Wegner (Sat Sep 13 2008 - 18:54:12 CEST)
- [eclipse-clp-users] Predicate new_pool/3 ? Ulrich Scholz (Fri Sep 12 2008 - 17:05:27 CEST)
- [eclipse-clp-users] Where to begin? Marcos Müller (Thu Sep 11 2008 - 18:51:59 CEST)
- [eclipse-clp-users] eplex: Unable to linearise / type error Ulrich Scholz (Wed Sep 10 2008 - 16:34:30 CEST)
- [eclipse-clp-users] Test - please ignore Ulrich Scholz (Wed Sep 10 2008 - 12:44:26 CEST)
- [eclipse-clp-users] Saros: Where to find? Ulrich Scholz (Mon Sep 08 2008 - 14:55:52 CEST)
- [eclipse-clp-users] How to setup and use the Cbc eplex library? Scholz, Ulrich (Mon Sep 08 2008 - 12:35:01 CEST)
- [eclipse-clp-users] How to implement a sudoku explainer Marcos Müller (Thu Sep 04 2008 - 20:47:13 CEST)
- [eclipse-clp-users] What about ppc_linux, mother fuckers!? Fede zayer (Fri Aug 29 2008 - 03:50:24 CEST)
- [eclipse-clp-users] Does ECLiPSe use Object-Oriented Programming Marcos Müller (Thu Aug 28 2008 - 01:18:40 CEST)
- [eclipse-clp-users] ECLiPSe features for interactive configuration Matthieu Queva (Tue Aug 26 2008 - 12:03:16 CEST)
- [eclipse-clp-users] RCRA 2008: 1 week to the abstract submission Marco Gavanelli (Mon Aug 25 2008 - 15:15:13 CEST)
- [eclipse-clp-users] whither clpr? Michael Gratton (Thu Aug 21 2008 - 06:47:46 CEST)
- [eclipse-clp-users] CSP - SAC 2009: Submission deadline extended!! Eric Monfroy (Mon Aug 18 2008 - 16:10:44 CEST)
- [eclipse-clp-users] Compiling files from jars Farrell, Andrew (Wed Aug 13 2008 - 23:50:35 CEST)
- [eclipse-clp-users] CSP - SAC 2009: Submission deadline extended!! Eric Monfroy (Thu Aug 07 2008 - 15:57:55 CEST)
- [eclipse-clp-users] Licensing question Ulrich Scholz (Thu Jul 10 2008 - 11:41:23 CEST)
- [eclipse-clp-users] ECLiPSe on mobile devices (smartphone, PDA)? Ulrich Scholz (Wed Jul 09 2008 - 16:24:26 CEST)
- [eclipse-clp-users] Eclipse Deployment..using C++ SadikAli.Sayyad_at_...123... (Mon Jul 07 2008 - 14:29:33 CEST)
- [eclipse-clp-users] Question regarding hardware architecture for ECLiPSe Wit Jakuczun (Wed Jun 25 2008 - 15:20:06 CEST)
- [eclipse-clp-users] Performance-related issues in heuristic optimization with ECLiPSe Soheil Samii (Tue Jun 17 2008 - 17:43:43 CEST)
- [eclipse-clp-users] Updated ECLiPSe CLP FAQ now available in Wiki form Kish Shen (Tue Jun 17 2008 - 15:41:31 CEST)
- [eclipse-clp-users] Read Eclipse Structure Using C++ API SadikAli.Sayyad_at_...123... (Fri Jun 13 2008 - 13:15:35 CEST)
- [eclipse-clp-users] C/C++ communication with ECLiPSe Soheil Samii (Tue Jun 10 2008 - 17:17:13 CEST)
- [eclipse-clp-users] creating store in C++ Archana.Dixit_at_...123... (Tue Jun 10 2008 - 10:36:47 CEST)
- Re: [eclipse-clp-users] Getting data back to C++ from Eclipseusingyield/2 Wit Jakuczun (Mon Jun 09 2008 - 15:40:14 CEST)
- [eclipse-clp-users] Getting data back to C++ from Eclipse using yield/2 Archana.Dixit_at_...123... (Mon Jun 09 2008 - 14:24:09 CEST)
- [eclipse-clp-users] Data Passing from C++ to Eclipse SadikAli.Sayyad_at_...123... (Mon Jun 09 2008 - 14:07:51 CEST)
- [eclipse-clp-users] Creating Store Using C++ SadikAli.Sayyad_at_...123... (Sat Jun 07 2008 - 07:42:59 CEST)
- [eclipse-clp-users] Forward of moderated message eclipse-users-bounces_at_...2... (Fri Jun 06 2008 - 12:14:14 CEST)
- [eclipse-clp-users] Forward of moderated message eclipse-users-bounces_at_...2... (Fri Jun 06 2008 - 12:14:14 CEST)
- [eclipse-clp-users] Error explanation Wit Jakuczun (Wed Jun 04 2008 - 22:47:47 CEST)
- [eclipse-clp-users] product configuration problems Tobias Tischler (Wed Jun 04 2008 - 18:18:19 CEST)
- [eclipse-clp-users] (no subject) mkhiari_at_...119... (Wed Jun 04 2008 - 13:32:00 CEST)
- [eclipse-clp-users] Defining domains for IntegerSet variables Patrice Boizumault (Tue Jun 03 2008 - 20:13:34 CEST)
- [eclipse-clp-users] Controlling lifetime of variables from Java Wit Jakuczun (Tue Jun 03 2008 - 16:19:07 CEST)
- [eclipse-clp-users] memory limits Stephan Schiffel (Mon Jun 02 2008 - 17:18:57 CEST)
- [eclipse-clp-users] Calling predicates from a module using Java Wit Jakuczun (Tue May 27 2008 - 22:47:37 CEST)
- [eclipse-clp-users] Permission to reprint documentation kot23 (Tue May 27 2008 - 14:33:05 CEST)
- [eclipse-clp-users] David Norman is out of the office. David_Norman_at_...115... (Sat May 24 2008 - 21:02:26 CEST)
- [eclipse-clp-users] Problem: OutOfProcessEclipse and Java Martin Wegner (Fri May 23 2008 - 12:43:48 CEST)
- [eclipse-clp-users] CFP: CSP Track, SAC 2009 Eric Monfroy (Sat May 17 2008 - 00:17:43 CEST)
- [eclipse-clp-users] Questions about mixed integer linear programming using eplex Kim Lai (Thu May 15 2008 - 17:31:02 CEST)
- [eclipse-clp-users] runtime error for a real-valued scheduling problem Soheil Samii (Thu May 15 2008 - 14:47:16 CEST)
- [eclipse-clp-users] Scheduling using the C++ interface to ECLiPSe Soheil Samii (Tue Apr 29 2008 - 17:05:07 CEST)
- [eclipse-clp-users] bb_min/3 question. Amine Marref (Tue Apr 29 2008 - 12:24:27 CEST)
- [eclipse-clp-users] Q: Linear Programming with Disjunction constraints Kim Lai (Wed Apr 23 2008 - 17:06:23 CEST)
- [eclipse-clp-users] JavaInterface Backtrack results Luiz Carlos d´Oleron (Tue Apr 22 2008 - 16:40:16 CEST)
- [eclipse-clp-users] nvalues constraint Tallys Yunes (Wed Apr 16 2008 - 23:33:12 CEST)
- [eclipse-clp-users] Syntax error in source transformation Valerio (Thu Apr 10 2008 - 09:38:44 CEST)
- Re: [eclipse-clp-users] [eclipse-users] Calling Eclipse from C++ (solved!) but new problem now.. Joachim Schimpf (Independent Contractor) (Mon Apr 07 2008 - 21:29:29 CEST)
- Re: [eclipse-clp-users] [eclipse-users] Graph visit Joachim Schimpf (Independent Contractor) (Mon Apr 07 2008 - 21:28:56 CEST)
- [eclipse-clp-users] Mailing List Migration Joachim Schimpf (Independent Contractor) (Mon Apr 07 2008 - 21:24:56 CEST)
- [eclipse-users] temporal logic libraries? model checking recs? Elizabeth Barham (Wed Mar 26 2008 - 03:43:44 CET)
- [eclipse-users] Minimum cost path and branch-and-bound Francesco Santini (Tue Mar 25 2008 - 17:16:55 CET)
- [eclipse-users] Speed Up Constraint Imposing Time in ECLiPSe David Tian (Sat Mar 22 2008 - 23:17:28 CET)
- [eclipse-users] How can I get rid of these eplex messages? Serge Kruk (Tue Mar 11 2008 - 19:51:27 CET)
- [eclipse-users] Cisco looking for ECLiPSe-related Project Proposals Joachim Schimpf (Independent Contractor) (Thu Mar 06 2008 - 16:37:41 CET)
- [eclipse-users] Counting Backtracks kot23 (Sun Mar 02 2008 - 16:53:36 CET)
- [eclipse-users] will IC work with 64-bit integers ? Evgeni Kornykhin (Thu Feb 28 2008 - 22:59:53 CET)
- [eclipse-users] How to remember last variable value and then choose in search Daniel Lucraft (Thu Feb 21 2008 - 11:07:23 CET)
- [eclipse-users] Labeling Speed. Amine Marref (Tue Feb 19 2008 - 15:13:11 CET)
- [eclipse-users] How to interface ECLiPSe via socket or pipe? Giuseppe Di Guglielmo (Fri Feb 15 2008 - 13:36:18 CET)
- [eclipse-users] GetLastOne, an alternative kot23 (Sun Feb 10 2008 - 21:12:19 CET)
- [eclipse-users] Sorry for the wrong subject in the last mail Dimitris Bilidas (Tue Feb 05 2008 - 23:43:01 CET)
- Re: [eclipse-users] ECLiPSe-Users Digest, Vol 16, Issue 3 Dimitris Bilidas (Tue Feb 05 2008 - 23:41:07 CET)
- [eclipse-users] ec_cleanup() segmentation fault Giuseppe Di Guglielmo (Tue Feb 05 2008 - 14:19:17 CET)
- [eclipse-users] Applying conditionals on ranges Vivek Balaraman (Tue Jan 29 2008 - 08:53:11 CET)
- [eclipse-users] Question about branch and bound Dimitris Bilidas (Mon Jan 28 2008 - 03:14:22 CET)
- [eclipse-users] Question about branch and bound Dimitris Bilidas (Fri Jan 25 2008 - 01:04:18 CET)
- [eclipse-users] New Download Mirror Joachim Schimpf (Independent Contractor) (Sun Jan 20 2008 - 01:00:13 CET)
- [eclipse-users] Domain intersection in lib(ic) Tallys Yunes (Thu Jan 10 2008 - 06:16:11 CET)
- [eclipse-users] Count number of non-ground variables in a list Stephen Flinter (Wed Jan 09 2008 - 00:43:05 CET)
- [eclipse-users] Help with displaying a binary tree with graphviz William Heath (Tue Jan 08 2008 - 20:12:30 CET)
- [eclipse-users] Help getting started with Saros Webb Stacy (Mon Jan 07 2008 - 22:18:13 CET)
- [eclipse-users] Eclipse or Else? Amine Marref (Wed Jan 02 2008 - 16:45:27 CET)
- [eclipse-users] Creating an interval tree data structure with prolog William Heath (Fri Dec 21 2007 - 06:39:42 CET)
- [eclipse-users] The quickest way to find the min/max of an ic_set William Heath (Tue Dec 18 2007 - 02:55:26 CET)
- [eclipse-users] Convert an IC_SET variable to an IC DOM variable William Heath (Thu Dec 13 2007 - 19:27:38 CET)
- [eclipse-users] A dbi for postgres interface for Eclipse? William Heath (Wed Dec 12 2007 - 04:27:32 CET)
- [eclipse-users] Java exception is being thrown when invoking an eclipse program scheduling over 300 tasks William Heath (Tue Dec 11 2007 - 03:04:52 CET)
- [eclipse-users] strategy:restart and report_success in bb_min Takis Stamatopoulos (Sun Dec 09 2007 - 21:31:40 CET)
- [eclipse-users] node(daVinci) and uDraw(Graph) Tias Guns (Wed Dec 05 2007 - 17:33:35 CET)
- [eclipse-users] List --> Row Tom Schulte (Mon Dec 03 2007 - 01:39:09 CET)
- [eclipse-users] Finding all optimal solutions Peter Nilsson (Fri Nov 30 2007 - 08:35:37 CET)
- [eclipse-users] ECLiPSe 5.10#103 available at Sourceforge Kish Shen (Wed Nov 28 2007 - 02:27:48 CET)
- [eclipse-users] Binary CSP examples Christian Riquelme (Sun Nov 25 2007 - 17:54:52 CET)
- [eclipse-users] random - problem Marius Schneider (Sat Nov 17 2007 - 10:42:03 CET)
- [eclipse-users] How to shrink ECLiPSe runtime Qin Yin (Mon Nov 12 2007 - 22:18:49 CET)
- [eclipse-users] ``tentative'' constraints? Ulrich Scholz (Sun Nov 11 2007 - 14:14:35 CET)
- [eclipse-users] Maximization. Amine Marref (Sun Nov 04 2007 - 16:16:57 CET)
- [eclipse-users] Backtraking Count Christian Riquelme (Fri Nov 02 2007 - 21:17:03 CET)
- [eclipse-users] Saros 1.0 Kish Shen (Fri Nov 02 2007 - 18:26:20 CET)
- [eclipse-users] Dual Enconding CSP Christian Riquelme (Wed Oct 24 2007 - 23:32:01 CEST)
- [eclipse-users] Channelling constraint Patrick Pleass (Wed Oct 24 2007 - 03:02:54 CEST)
- [eclipse-users] SAROS.. where? Patrick Pleass (Tue Oct 23 2007 - 15:54:01 CEST)
- [eclipse-users] (no subject) Patrick Pleass (Tue Oct 23 2007 - 15:34:16 CEST)
- [eclipse-users] Predicates order 2 Wojciech Pieprzyca (Wed Oct 10 2007 - 23:27:23 CEST)
- [eclipse-users] Predicates order Wojciech Pieprzyca (Wed Oct 10 2007 - 22:39:02 CEST)
- [eclipse-users] to recover the state of a variable when the predicate is used “tent_set”, library “repair" m.alejandro (Wed Oct 10 2007 - 21:12:23 CEST)
- [eclipse-users] Retract Wojciech Pieprzyca (Tue Oct 09 2007 - 11:11:34 CEST)
- [eclipse-users] geometry and constraint programming Malcolm Ryan (Thu Oct 04 2007 - 07:24:34 CEST)
- [eclipse-users] To implement the heuristic of selection value min-conficts in eclipse m.alejandro (Wed Oct 03 2007 - 22:13:54 CEST)
- [eclipse-users] ECLiPSe tutorial at CP'2007 Joachim Schimpf (Independent Contractor) (Tue Oct 02 2007 - 08:18:05 CEST)
- [eclipse-users] Debugging constraints Malcolm Ryan (Wed Sep 26 2007 - 06:07:57 CEST)
- [eclipse-users] A problem constraining sets of real numbers Vicenç (Mon Sep 24 2007 - 12:34:12 CEST)
- [eclipse-users] visualisation code Malcolm Ryan (Mon Sep 24 2007 - 04:13:14 CEST)
- [eclipse-users] reified constraints Malcolm Ryan (Tue Sep 18 2007 - 05:34:29 CEST)
- [eclipse-users] invoking module function from C API Carlos Gonzalez-Cadenas (Fri Sep 14 2007 - 14:16:08 CEST)
- [eclipse-users] eclipse C API Carlos Gonzalez-Cadenas (Thu Sep 13 2007 - 14:28:14 CEST)
- [eclipse-users] passing predicate names Malcolm Ryan (Wed Sep 12 2007 - 10:34:05 CEST)
- [eclipse-users] ECLiPSe and agent systems Wojciech Pieprzyca (Tue Sep 11 2007 - 22:04:07 CEST)
- [eclipse-users] notify_ports Malcolm Ryan (Mon Sep 10 2007 - 08:43:35 CEST)
- [eclipse-users] as I can generate problems (CSP) random in Eclipse Miguel A. (Sat Sep 08 2007 - 00:26:35 CEST)
- [eclipse-users] as I can generate problems (CSP) random in Eclipse Miguel A. (Sat Sep 08 2007 - 00:11:39 CEST)
- [eclipse-users] Suspension lists Malcolm Ryan (Thu Sep 06 2007 - 11:44:00 CEST)
- [eclipse-users] X = A or B Malcolm Ryan (Thu Sep 06 2007 - 04:19:03 CEST)
- [eclipse-users] Disappearing attributes Malcolm Ryan (Tue Sep 04 2007 - 06:12:22 CEST)
- [eclipse-users] java visualisation client bug Malcolm Ryan (Tue Sep 04 2007 - 03:41:08 CEST)
- [eclipse-users] macro and term_expansion klint09\_at_libero\.it (Mon Sep 03 2007 - 20:50:07 CEST)
- [eclipse-users] undefined variable attribute Malcolm Ryan (Mon Sep 03 2007 - 09:49:43 CEST)
- [eclipse-users] Interval constraints Wojciech Pieprzyca (Thu Aug 30 2007 - 22:01:00 CEST)
- [eclipse-users] Debugdemo example Wojciech Pieprzyca (Thu Aug 30 2007 - 11:36:12 CEST)
- [eclipse-users] Installing on windows without admin rights Marcos Aurélio (Wed Aug 29 2007 - 16:18:17 CEST)
- [eclipse-users] Finding which constraints failed Vivek Balaraman (Wed Aug 29 2007 - 11:11:34 CEST)
- [eclipse-users] MIssing files. Donald Halomoan (Wed Aug 29 2007 - 03:37:10 CEST)
- [eclipse-users] sprintf? Malcolm Ryan (Mon Aug 27 2007 - 02:42:58 CEST)
- [eclipse-users] debugging Malcolm Ryan (Wed Aug 22 2007 - 10:34:52 CEST)
- [eclipse-users] profiling constraint code Malcolm Ryan (Wed Aug 22 2007 - 07:02:12 CEST)
- [eclipse-users] elements/3 with a list of variables B. Ottens (Tue Aug 21 2007 - 12:21:07 CEST)
- [eclipse-users] Long parameter lists Vivek Balaraman (Fri Aug 17 2007 - 10:32:36 CEST)
- [eclipse-users] term_string Malcolm Ryan (Wed Aug 15 2007 - 09:58:30 CEST)
- [eclipse-users] Any way to handle breal in the Java interface? Lutz, Charles D (Tue Aug 14 2007 - 00:43:28 CEST)
- [eclipse-users] Finite set of possibilities in an underconstrained equation Vivek Balaraman (Wed Aug 08 2007 - 13:25:09 CEST)
- [eclipse-users] How to use eclipse_rt.tgz file while running Java Application Bhushan (Mon Aug 06 2007 - 17:12:18 CEST)
- [eclipse-users] bb_min problem Jakub Wojt (Wed Aug 01 2007 - 10:32:51 CEST)
- [eclipse-users] Why expression in constraint breaks at run-time Bill Wood (Tue Jul 31 2007 - 19:30:20 CEST)
- [eclipse-users] Problems with attributed variables Matteo Monesi (Tue Jul 24 2007 - 10:57:39 CEST)
- [eclipse-users] Effect of line in "steiner" example Lutz, Charles D (Fri Jul 20 2007 - 21:37:54 CEST)
- [eclipse-users] Error in bin packing example Lutz, Charles D (Wed Jul 18 2007 - 21:20:52 CEST)
- [eclipse-users] Use of max with ic_probing_for_scheduling David Norman (Fri Jul 13 2007 - 18:28:05 CEST)
- [eclipse-users] Comparing search vs CSP Malcolm Ryan (Fri Jul 13 2007 - 10:48:49 CEST)
- [eclipse-users] How do I declare a set of real values for variables in Eclipse Prolog Tomas Eric Nordlander (Thu Jul 12 2007 - 11:52:54 CEST)
- [eclipse-users] Hash tables inside loops inside minimize don't work David Norman (Wed Jul 11 2007 - 23:23:20 CEST)
- [eclipse-users] bug in lib(hash), compile_term/1 and/or handling of arguments Stephan Schiffel (Tue Jul 10 2007 - 19:29:00 CEST)
- [eclipse-users] Memory management for Eplex with OSI clpnbncblpcbplp Daniel Lucraft (Mon Jul 09 2007 - 17:40:27 CEST)
- [eclipse-users] Problem Running Probing for Scheduling Example Ben Mcintosh (Sat Jul 07 2007 - 20:06:53 CEST)
- [eclipse-users] How to ic:search/6 with symmetry breaking during search (sbds) of lib(ic_sbds)? Martin Berger (Wed Jul 04 2007 - 18:34:46 CEST)
- [eclipse-users] ECLiPSe 5.10 Windows installer problems rectified Joachim Schimpf (Independent Contractor) (Tue Jul 03 2007 - 15:50:22 CEST)
- [eclipse-users] Compiling Eclipse with CPLEX 10.2 B. Ottens (Sun Jul 01 2007 - 16:45:59 CEST)
- [eclipse-users] Suspension lists for upper and lower bounds Malcolm Ryan (Fri Jun 22 2007 - 10:44:35 CEST)
- [eclipse-users] Propia question Malcolm Ryan (Thu Jun 21 2007 - 11:14:23 CEST)
- [eclipse-users] Imposing over 1 Million Constraints David Tian (Fri Jun 15 2007 - 22:01:59 CEST)
- [eclipse-users] declaring constants Nicolas BERGER (Fri Jun 15 2007 - 13:15:26 CEST)
- [eclipse-users] Question re rpc Farrell, Andrew (Thu Jun 14 2007 - 13:22:11 CEST)
- [eclipse-users] ic(sets) bug Malcolm Ryan (Wed Jun 13 2007 - 03:55:38 CEST)
- [eclipse-users] How do I run several jobs ? Stéphane Giaccobi (Thu May 31 2007 - 17:39:00 CEST)
- Re: [eclipse-users] storing a context Vicenç (Wed May 30 2007 - 18:04:34 CEST)
- [eclipse-users] Newbie question about bb_min/3 Martin Berger (Fri May 25 2007 - 11:23:28 CEST)
- [eclipse-users] Storing a context Vicenç (Thu May 24 2007 - 09:38:02 CEST)
- [eclipse-users] Prolog standardization discussion forums Paulo Moura (Fri May 18 2007 - 15:50:11 CEST)
- [eclipse-users] Fix for Windows 2000 download problem: new binary available Kish Shen (Fri May 11 2007 - 17:17:01 CEST)
- [eclipse-users] Unit testing in eclipse prolog Malcolm Ryan (Thu May 10 2007 - 07:44:35 CEST)
- [eclipse-users] The Win2K path problem seems more general Lutz, Charles D (Wed May 09 2007 - 18:55:29 CEST)
- [eclipse-users] Matching Lutz, Charles D (Tue May 08 2007 - 17:47:55 CEST)
- [eclipse-users] simple_findall/2 example Lutz, Charles D (Tue May 08 2007 - 16:53:00 CEST)
- [eclipse-users] ECLiPSe Intel Mac OS X binaries/source available Kish Shen (Tue May 08 2007 - 16:40:46 CEST)
- [eclipse-users] Simple question on example in Tutorial Lutz, Charles D (Wed May 02 2007 - 21:43:41 CEST)
- [eclipse-users] Manual install: ecl_inst.tcl fails Lutz, Charles D (Wed May 02 2007 - 17:42:03 CEST)
- [eclipse-users] something i didn't understand about labeling? 112358_at_...52... (Tue May 01 2007 - 16:39:35 CEST)
- [eclipse-users] Tool declaration Siddharth Angrish (Tue May 01 2007 - 06:24:11 CEST)
- [eclipse-users] Predicate declarations in Eclipse Siddharth Angrish (Mon Apr 30 2007 - 04:03:38 CEST)
- [eclipse-users] Stack overflow in simple example DougPatterson.49193539_at_...55... (Sun Apr 29 2007 - 12:59:21 CEST)
- [eclipse-users] tkeclipse doesn't run Lutz, Charles D (Thu Apr 26 2007 - 18:37:16 CEST)
- [eclipse-users] ECLiPSe-SWI Prolog relation Siddharth Angrish (Wed Apr 25 2007 - 23:05:08 CEST)
- [eclipse-users] Library Induction Siddharth Angrish (Wed Apr 25 2007 - 22:34:23 CEST)
- [eclipse-users] Undefined value Daniel Riera (Wed Apr 25 2007 - 18:23:17 CEST)
- [eclipse-users] Java-ECLiPSe: How to terminate execution of EclipseConnection.rpc(...) ? Christian Pfaller (Wed Apr 25 2007 - 15:51:22 CEST)
- [eclipse-users] SWI Library Inclusion in ECLiPSe Siddharth Angrish (Wed Apr 25 2007 - 02:53:17 CEST)
- [eclipse-users] ECLiPSe & FSA6 Utilities Interaction Siddharth Angrish (Tue Apr 17 2007 - 23:18:57 CEST)
- [eclipse-users] tkeclipse doesn't run 112358_at_...52... (Tue Apr 17 2007 - 16:49:37 CEST)
- [eclipse-users] Reloading a file with dynamic predicates Paulo Moura (Sun Apr 15 2007 - 12:08:48 CEST)
- [eclipse-users] ECLiPSe 5.10 binary for Solaris 10 Intel 32-bit platform Donald Halomoan (Thu Apr 12 2007 - 11:36:08 CEST)
- [eclipse-users] Question Farrell, Andrew (Wed Apr 11 2007 - 17:40:42 CEST)
- [eclipse-users] ECLiPSe Profiler Question Christian Pfaller (Tue Apr 10 2007 - 13:32:59 CEST)
- [eclipse-users] A new library induction in ECLiPSe Siddharth Angrish (Thu Apr 05 2007 - 03:24:50 CEST)
- [eclipse-users] Mac OSX intel install Serge Kruk (Tue Apr 03 2007 - 13:14:54 CEST)
- [eclipse-users] Constraint Challenge Dorothea Schäfer (Fri Mar 30 2007 - 11:38:41 CEST)
- [eclipse-users] Fwd: 'forall' predicate Malcolm Ryan (Wed Mar 28 2007 - 09:39:24 CEST)
- [eclipse-users] 'forall' predicate Malcolm Ryan (Wed Mar 28 2007 - 09:10:34 CEST)
- [eclipse-users] 'forall' predicate Malcolm Ryan (Wed Mar 28 2007 - 08:57:12 CEST)
- [eclipse-users] Fast lookup mapping. Malcolm Ryan (Tue Mar 27 2007 - 06:16:43 CEST)
- [eclipse-users] Strange behaviour with attributes. Malcolm Ryan (Mon Mar 26 2007 - 07:00:58 CEST)
- Re: [eclipse-users] Mac OS X install brammert (Thu Mar 22 2007 - 11:57:45 CET)
- [eclipse-users] Changes on indomain/1 ? Besnik Seljimi (Wed Mar 14 2007 - 15:02:28 CET)
- [eclipse-users] Test for change in domain Mark Wallace (Wed Mar 14 2007 - 14:18:00 CET)
- [eclipse-users] ANT build script generation GNU/Umanga (Tue Mar 13 2007 - 07:15:03 CET)
- [eclipse-users] Bug: ic_symbolic:get_domain_as_list Malcolm Ryan (Mon Mar 12 2007 - 07:33:28 CET)
- [eclipse-users] User defined constraints. Malcolm Ryan (Mon Mar 12 2007 - 05:29:02 CET)
- [eclipse-users] Java Interface: java.lang.NoClassDefFoundError Ismael Ojeda (Wed Mar 07 2007 - 01:18:07 CET)
- [eclipse-users] Server for ECLiPSe Daniel Riera (Tue Mar 06 2007 - 17:17:08 CET)
- [eclipse-users] CLP(lists)? Malcolm Ryan (Mon Mar 05 2007 - 05:31:21 CET)
- [eclipse-users] Max OS X install Malcolm Ryan (Mon Mar 05 2007 - 14:22:38 CET)
- [eclipse-users] Java Interface problems running the QuickTest Ismael Ojeda (Fri Mar 02 2007 - 20:41:49 CET)
- [eclipse-users] Ordered sets as variables? Malcolm Ryan (Fri Mar 02 2007 - 06:14:59 CET)
- [eclipse-users] Beginner Question: Partial orders Malcolm Ryan (Thu Mar 01 2007 - 00:54:22 CET)
- [eclipse-users] Java Interface problems Ismael Ojeda (Tue Feb 27 2007 - 02:25:19 CET)
- [eclipse-users] Use of REAL variables Daniel Riera (Wed Feb 14 2007 - 22:00:38 CET)
- [eclipse-users] Link to GMP Library BLANC Benjamin (Wed Feb 14 2007 - 14:37:33 CET)
- [eclipse-users] Implementing constraint propagation in Local Search David Tian (Mon Feb 12 2007 - 00:40:32 CET)
- [eclipse-users] Newbie: P ==> ( Q /\ R) and ( P ==> Q ) /\ ( Q ==> R ) phiroc_at_...22... (Tue Feb 06 2007 - 11:50:57 CET)
- [eclipse-users] Newbie: http_client phiroc_at_...22... (Wed Jan 31 2007 - 15:51:46 CET)
- [eclipse-users] Newbie: dim in .ecl script Philippe de Rochambeau (Tue Jan 30 2007 - 22:09:19 CET)
- [eclipse-users] debugdemo.ecl on macosx Philippe de Rochambeau (Fri Jan 26 2007 - 23:43:26 CET)
- [eclipse-users] Java-Eclipse Interface- Please help! Amy Freelander (Fri Jan 26 2007 - 15:06:33 CET)
- [eclipse-users] (no subject) Rajeeth S (Thu Jan 25 2007 - 22:43:12 CET)
- [eclipse-users] (no subject) Bertrand Tran (Thu Jan 25 2007 - 09:14:07 CET)
- [eclipse-users] eclipse for eclipse? Malcolm Ryan (Thu Jan 25 2007 - 00:09:05 CET)
- [eclipse-users] ECLipSe in finance and business phiroc_at_...22... (Wed Jan 24 2007 - 16:43:58 CET)
- [eclipse-users] Programming with Constraints: an Introduction phiroc_at_...22... (Wed Jan 24 2007 - 10:21:17 CET)
- [eclipse-users] Conditional jump out of loops David Tian (Wed Jan 24 2007 - 00:47:00 CET)
- [eclipse-users] (no subject) Malcolm Ryan (Tue Jan 23 2007 - 08:10:38 CET)
- [eclipse-users] NEWBIE: Eplex installation question brammert (Mon Jan 22 2007 - 09:34:51 CET)
- [eclipse-users] Endless loop Philippe de Rochambeau (Tue Jan 09 2007 - 21:57:40 CET)
- [eclipse-users] Can't run the java interface QuickTest Matthew Ford (Mon Jan 08 2007 - 23:57:13 CET)
- [eclipse-users] Use of structured variables Daniel Riera (Mon Jan 08 2007 - 11:41:56 CET)
- [eclipse-users] Newbie: listing command Philippe de Rochambeau (Sun Jan 07 2007 - 00:33:55 CET)
- [eclipse-users] Newbie: not consecutive procedure clauses Philippe de Rochambeau (Sun Jan 07 2007 - 00:25:43 CET)
- [eclipse-users] Java Interface problems Matthew Ford (Wed Jan 03 2007 - 19:55:44 CET)
- [eclipse-users] Newbie: differences between Eclipse, CLIPS and Prolog phiroc_at_...22... (Mon Dec 18 2006 - 09:12:48 CET)
- [eclipse-users] Overflow of Global/trail stack Error David Tian (Mon Dec 18 2006 - 01:11:32 CET)
- [eclipse-users] General newbie question William Heath (Sat Dec 16 2006 - 23:18:48 CET)
- [eclipse-users] Eclipse on Macosx 10.4 Philippe de Rochambeau (Sat Dec 16 2006 - 09:28:41 CET)
- [eclipse-users] Installing ECLiPSe on Linux David Tian (Thu Dec 14 2006 - 14:24:50 CET)
- [eclipse-users] Howto include non-printable characters in String? Ulrich Scholz (Tue Dec 12 2006 - 16:25:33 CET)
- [eclipse-users] Linux installation requirements? Tallys H. Yunes (Mon Dec 04 2006 - 14:31:05 CET)
- [eclipse-users] Failed goal marconci_at_...8... (Sat Dec 02 2006 - 17:34:21 CET)
- [eclipse-users] Two small questions about ECLiPSe installation on Windows Webb Stacy (Mon Nov 20 2006 - 20:43:46 CET)
- [eclipse-users] C++/C and variables schugk_at_...18... (Mon Nov 20 2006 - 20:24:35 CET)
- [eclipse-users] Q regarding mode declarations Ulrich Scholz (Thu Nov 16 2006 - 17:03:54 CET)
- [eclipse-users] problem writing files in CHR J. Manuel Velasco (Fri Nov 10 2006 - 13:42:32 CET)
- [eclipse-users] Attaching Identifiers To Constraints At Run Time David Tian (Thu Nov 09 2006 - 02:15:50 CET)
- [eclipse-users] Installing TKEclipse On 32-bit Machine David Tian (Wed Nov 08 2006 - 19:23:23 CET)
- [eclipse-users] help embebing C/C++ and CHR in eclipse J. Manuel Velasco (Wed Nov 08 2006 - 16:44:52 CET)
- Re: [eclipse-users] write newline into a file Joachim Schimpf (Wed Nov 08 2006 - 14:55:23 CET)
- [eclipse-users] how to get eclipse and help yourself J. Manuel Velasco (Wed Nov 08 2006 - 09:34:02 CET)
- [eclipse-users] write files from CHR-eclipse J. Manuel Velasco (Mon Nov 06 2006 - 16:51:29 CET)
- [eclipse-users] Help With Model Simplification David Tian (Fri Nov 03 2006 - 16:23:30 CET)
- [eclipse-users] more questions although there are no replies :( J. Manuel Velasco (Tue Oct 31 2006 - 16:02:48 CET)
- [eclipse-users] how to make queries to the prolog database from C++ J. Manuel Velasco (Mon Oct 30 2006 - 13:46:27 CET)
- [eclipse-users] Parser in Prolog Ulrich Scholz (Mon Oct 30 2006 - 10:47:55 CET)
- [eclipse-users] [Help] ECLiPSe 5.10\lib\i386_nt does not include eclipse.lib??? Zhou Xu (Sun Oct 29 2006 - 17:05:24 CET)
- [eclipse-users] embebing prolog in C++ J. Manuel Velasco (Fri Oct 27 2006 - 14:07:43 CEST)
- [eclipse-users] Overflow of the global/trail stack in spite of garbage collection! Giuseppe Di Guglielmo (Fri Oct 27 2006 - 13:49:39 CEST)
- [eclipse-users] Question about setof/3 (and about _at_/1) Ulrich Scholz (Thu Oct 26 2006 - 18:32:08 CEST)
- [eclipse-users] Overflow of the global/trail stack in spite of garbage collection! Giuseppe Di Guglielmo (Wed Oct 25 2006 - 16:04:35 CEST)
- [eclipse-users] Question about job shop scheduling problem William Heath (Wed Oct 18 2006 - 21:25:00 CEST)
- [eclipse-users] ECLiPSe jobs with Cisco Joachim Schimpf (Wed Oct 18 2006 - 18:03:20 CEST)
- [eclipse-users] ECLiPSe now Open Source and under MPL Joachim Schimpf (Wed Oct 18 2006 - 17:49:59 CEST)
- [eclipse-users] eclipse + Cpp J. Manuel Velasco (Tue Oct 17 2006 - 13:22:56 CEST)
- [Eclipse-users] Another test Joachim Schimpf (Fri Dec 16 2005 - 15:44:44 CET)
- Last message date: Tue Feb 21 2023 - 12:02:16 CET
- Archived on: Wed Feb 22 2023 - 09:13:18 CET