ECLiPSe-CLP-users: by subject

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

ECLiPSe-CLP-users by subject