ECLiPSe-CLP-users by thread
- [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_amat.com (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_gmail.com (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@EPIA 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_gmail.com (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_gmail.com (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. ¨}À· ©P (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_gmail.com (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_free.fr (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_virgilio.it (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_gmail.com (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)
- [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_gmail.com (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_alpha.pl (Wed Oct 08 2008 - 10:38:37 CEST)
- [eclipse-clp-users] Scope of variable access behemot_at_alpha.pl (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_cognizant.com (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_cognizant.com (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_cognizant.com (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_cognizant.com (Mon Jun 09 2008 - 14:24:09 CEST)
- [eclipse-clp-users] Data Passing from C++ to Eclipse SadikAli.Sayyad_at_cognizant.com (Mon Jun 09 2008 - 14:07:51 CEST)
- [eclipse-clp-users] Creating Store Using C++ SadikAli.Sayyad_at_cognizant.com (Sat Jun 07 2008 - 07:42:59 CEST)
- [eclipse-clp-users] Forward of moderated message eclipse-users-bounces_at_crosscoreop.com (Fri Jun 06 2008 - 12:14:14 CEST)
- [eclipse-clp-users] Forward of moderated message eclipse-users-bounces_at_crosscoreop.com (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_etu.info.unicaen.fr (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_amat.com (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_katamail.com (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_bloglines.com (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_katamail.com (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_free.fr (Tue Feb 06 2007 - 11:50:57 CET)
- [eclipse-users] Newbie: http_client phiroc_at_free.fr (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_free.fr (Wed Jan 24 2007 - 16:43:58 CET)
- [eclipse-users] Programming with Constraints: an Introduction phiroc_at_free.fr (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_free.fr (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_sci.univr.it (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_rz.uni-potsdam.de (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 @/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: Fri May 18 2012 - 02:49:51 CEST
- Archived on: Fri May 18 2012 - 06:13:52 CEST