- Joachim Schimpf (Tue 22 Mar 2005 06:52:19 PM GMT)
- != as an operator
- "circular" fd constraints and the soft cut conditional
- "constructive" constraint programming
- #/\ Problem in Finite Domains
- #=
- #=> and #<=> constraints
- #\/
- #\/ or ;
- 'and' reification in IC
- (no subject)
- (Á¤º¸) ¡Ú Å·Ä«,ÄýÄ«¸¦ ãÀ¸¼¼¿ä????????????????
- +VarMatrix in sbds_initialise
- .
- [Draft] IC & FD
- [eclipse-uers] eclipse.lib error :: Bad object file eclipse.lib near file offset 0
- [eclipse-users]
- [sorted] Am I missing something?
- A bug?
- A list version to the "tomography" problem
- abort: instantiation fault in writeln_body(X, T2, eclipse)
- about ECLiPSe 53 # 47 and it's solver and libraries
- About the performance of named references / non-logical variable
- Adapting cost_handler/2 to control output of minimize
- Addition of Float Bug
- Alldifferent filtering
- Ambiguous import of maplist / 3 from [eclipse_language, apply_macros]
- An specific question about propagation.
- Announcement: new website
- Anybody using alpha_linux?
- arithmetic expressions simplifier
- Arity Prolog compatibility
- Arrays and C++ interface
- Arthmetic constraints in eclipse
- Asserting facts and performing queries on it.
- atleast or exactly
- atmost and atleast
- atmost/3
- Attn: ECLiPSe Bugzilla Users
- Avoiding "More"
- avoiding duplicate solutions
- AW: Getting results form ECLiPSe with java]
- Backtrackable external predicates in C/C++
- bb_min
- binpacking
- Branch & Price
- Bug in ech?
- bug in ECLiPSe 4.1.0
- Bug or feature of Eclipse 5.2
- C++
- C++ & ECLiPSe
- C++ interface
- Call for Papers: Constraint Handling Rules TPLP Journal Special Issue
- CALL FOR PARTICIPATION: ECLiPSe summer school
- CALL FOR REGISTRATION: ECLiPSe Summer School
- Calling an undefined procedure error
- Calling Eclipse from C
- Calling ECLiPSe from C++
- Calling Eclipse function from C++
- Calling Eclipse functions from C++
- case statement
- CfP: Workshop on Constraint Handling Rules
- CHR max two Head limitation
- chr use
- Circuit constraint needed
- Circuit constraint needed]
- Clarifications Required
- clp problem
- clp with intervals
- clp(q,r) pb
- Column generation
- combinatorical problem !?
- Combining eplex solver with repair solver
- command "more"
- commercial Applications using Eclipse
- commercial development licence
- commercial version
- comparing eclipse-variables in c++
- Comparison of methods
- compile and trace information
- Compile/Edit problems on Windows
- compiler too 'noisy'
- compiling and loading an external predicate with Suse Linux
- Compiling k_puzzle.pl
- Complex problem ?
- Conditional compilation?
- constraint #\/
- Constraint Programming Book Page Update
- copy variables including their constraints
- Counting backtracks
- CP-AI-OR 2005: Second call for participation
- Creating a Graph
- cumulative predicate
- Curious performance results...
- current_predicate
- Cycle Check
- Cycle Constraint
- Data visualization
- daVinci problem
- DCGs
- decomposing eclipse terms in c++
- delay clauses
- Delayed goals
- Delayed-goals
- delayed_goals_handler/3 in CHR library?
- destroy method is not destroying the OutOf Process EclipseEngine!!
- device IO
- disjunctive constraints, use of ~= ?
- Do Eclipse work's with glibc2.3?
- Domain
- domain propagation
- Domain splitting within search/6
- domino puzzle
- ec_post_event
- EC_word::arg
- Eclipse - Delphi Interface
- ECLiPSe 3.7.1
- ECLiPSe 3.7.1 / 4.0 does not work on SuSE Linux
- ECLiPSe 4.0 released
- ECLiPSe 4.1
- ECLiPSe 4.1 released
- ECLiPSe 4.2 released
- Eclipse 5.0
- ECLiPSe 5.0 released
- ECLiPSe 5.1 released
- ECLiPSe 5.2 released
- ECLiPSe 5.3 released
- ECLiPSe 5.4 released
- eclipse 5.5 gives error sometimes?
- ECLiPSe 5.5 released
- ECLiPSe 5.6 released
- Eclipse 5.7
- ECLiPSe 5.7 released
- ECLiPSe 5.8 released
- Eclipse and C++
- Eclipse and complexity
- Eclipse and CPLEX 9.0
- Eclipse and Cplex on Linux
- Eclipse and Temporal reasoning
- ECLiPSe bug reporting
- Eclipse bug?
- Eclipse crash
- eclipse fatal error
- ECLiPSe fatal error: Out of swap space in heap allocation
- ECLiPSe Mini School
- ECLiPSe Mini-school at CP03
- ECLiPSe on MacOS-X?
- Eclipse on Windows
- ECLiPSe release 3.7 available
- ECLiPSe theory
- ECLiPSe User Group
- ECLiPSe Users Workshop
- Eclipse VEP 0.5 plugin not working
- eclipse, c++ and linux
- eclipse-doc question
- EclipseEngine and Java 5
- ECRC
- efficient CP-based shortest path algorithm in Eclipse?
- Embed ECLiPSe in C/C++
- Embedding Eclipse to C++
- embedding under windows
- Endless delays and resumes.
- Enhancements for tkeclipse
- eplex_instance
- Error in runing eclipse with windows
- Error running Eclipse from C++
- event on a variable's domain
- event_after_every/2
- Example of interfacing with VB
- exec/3 and waiting for processes...
- exec_group/3 and redirecting its output to a file
- Explication about the random library
- Explicit unification (=/2)
- external "hello world"
- external "hello world" remark
- External Predicates & Embedding
- External predicates : file handling
- Failing on event occurence
- fatal error
- fd inequality
- FD: Arithmetic Constraints
- Feature Request: Improved detection of Singleton variables
- Fibonacci number programs
- FINAL REMINDER: CFP ECLIPSE SUMMER SCHOOL
- finding files in NT version
- Float Addition Bug follow-up
- Float constants in Eclipse
- floating point representation in IC
- Flush posted goals
- for Iteration bug
- forall
- fork an Eclipse process keeping all asserted predicates
- formula tree, how to represent and manipulate
- Functional equivalent
- FURTHER INFORMATION: ECLiPSe Summer School
- GAC lexicographic less-than-or-equal constraint
- generalised bin packing example
- generating maximal structures
- Getting results form ECLiPSe with java
- Glibc undefined symbols
- Global consistency problem.
- global variables in extern c++-functions
- GNUProlog vs. ECLiPSe
- HElp
- HElp (with jobshop scheduling)
- Help Needed
- Help request
- Hey Eclipse-users ;)
- Higher Order Logic in Eclipse
- How can I create a list of list of C++ predicate
- How is defined precedence with "(" and ")"
- How to clean-up posted goals
- how to comment a paragraph ?
- How to deliver an ECLiPSe application
- how to display long lists
- How to import my project ?
- How to obtain the name of calling module for the predicate?
- how to start eclipse predicate from command line
- How to use eplex ( cplex or xpress )
- How to use eplex ( cplex or xpress ) ...
- How to use Eplex correctly and efficiently in this case.
- How to use predicate of library w/o loading the library?
- how to value selection in tree search?
- How to work List and Array together on QAP
- ic: stronger propagation possible?
- ic:search/6
- If-Then-Else Construct in Eclipse
- Imperial College, Lecturer Position
- importing Semantic Web knowledge resources into Eclipse
- include/1 directive
- including <eclipseclass.h> in more than one header
- Incomplete tree search algorithms: references?
- Inconsistent performance while using tk Eclipse
- Incremental propagation
- indexing on facts?
- indomain/2 gives type error in version 5.5 (not before!)
- indomain/2 gives type error in version 5.5 (not before!))
- Installing ECLiPSe on RedHat 8
- instantiation fault in compile(File)
- instantiation problem
- Integer Divisions
- Integer size in Eclipse
- interfacing problems under windows
- Interfacing with C (Windows 98)
- Interraction between main programs and events
- interrupt java rpc execution
- interrupts, events, windows, etc...
- Is it a bug?
- Is there a problem of library sbds ?
- Java - CompoundTerm - Variable
- Java - Variable with multiple instantiations
- Java Interface: Collection to List?
- java multi-connections!
- Java to eclipse
- Java-ECLiPSe
- Java-Eclipse interface
- Java: Knowledge-Base not via file
- JavaInterface: OutOfProcessEclipse creation: java.lang.NumberFormatException: null
- knapsack_random_search
- labeling
- lib(ech) and label_with : maybe a trivial question
- libeclipse.so with glibc 2.3.2
- Library Browser and Help
- library(graph_algorithms)
- Limits of ECLiPSe ?
- line numbers in error messages
- Linux and eclipse 3.5.2
- Lists
- Load('util.o') problem
- local reference(+Name)
- Logic Puzzle
- Logtalk 2.15.6 is now available for downloading
- Logtalk 2.17.0 is now available for downloading
- Logtalk 2.17.1 now available for downloading
- Logtalk 2.17.2 now available for downloading
- Logtalk 2.18.0 is now available for downloading
- Logtalk 2.20.0 is now available for downloading
- Logtalk 2.21.0 is now available for downloading
- Logtalk 2.22.0 released
- Logtalk 2.23.0 released
- Logtalk 2.26.0 released
- lost access to domain variables?
- LP/MIP solver interface lib(eplex)
- Magnitude of Integers
- Matlab& Eclipse
- maximum finite domain constraint for eclipse
- Meta-interpreter
- Meta-interpreter for Prolog
- min_max and minimize
- mindomain
- minimize
- module(eclipse) + external prediate = warning
- More efficient "global variables"
- multifile in ECLiPSe
- Multiple calls of ECLiPSe from C
- Multiple optimal solutions
- Multiplication
- n-queens version in c
- Need help using min_max
- New feature requests
- newbie question
- newbie questions.
- No such file or directory in pcompile('/usr/local/eclipse/lib/kernel.pl', 2, sepia_kernel)
- non-deterministic external predicate in C++ ?
- novice in clp and eclipse
- number of delayed goals
- number of logical inference
- occurences
- ODBC / SQL Interface
- odd thing in eclipse
- once
- ONE ECLiPSe ERROR
- Optimisation problmes with nonlinear constraints
- Optimization
- Optimization problems
- OutOfProcessEclipse Problems
- OutOfProcessEclipse still in the memory
- Overwrite a file
- Paper reference question
- Parameters to external c-functions
- Parser in ECLiPSe Prolog
- Passing a long C type by a handle
- passing structures from C++ to ECLiPSe
- PATAT 2006: Second Call for Papers
- Pointers on how to use EPLEX
- Possible bug on library repair
- printf -> bad argument list
- Printing key:value terms
- priority
- problem in eclipse 5.0 ?
- Problem in running debug demo.ecl
- Problem regarding soft cut(*->).
- Problem size of IP problem
- problem to call a predicate in C/C++
- Problem to get a list of list in C++ predicate
- problem whith disjuntive/2
- Problem with a C predicate and write on the output
- Problem with arrays.
- Problem with obtaining an result in java
- Problem with repeatedly compiling files with partly the same content and EmbeddedEclipse
- Problems with Embedding Eclipse/Prolog in VC++
- Problems with the Java Interface for ECLiPSe
- profile reporting wrongly?
- prolog interface with excel
- prolog natural language interface to unix
- Propagation in ECLiPSe
- Propagation of Arithmetic Constraints
- propia and the cut
- Proving Optimality
- Q about CHRs
- Q.: Minimum Setup for Runtime ECLiPSe?
- Q: minimize
- Q: Sets
- Quadratic MIP in Eclipse
- query in file
- Query on Meta Constraints
- Question
- question (v5.0)
- Question about call_c
- Question about cross products of finite sets
- Question about demons
- Question about singleton variable names
- Question about the real and integer formats
- question concerning the alldifferent predicate
- Question on backtrack and search
- Question on propagation
- Question regarding eclispe.el (Emacs eclipse mode)
- Question regarding REPAIR
- Question: cio IO predicates not "cleand up" after program aborts
- Question: how to do URL-encoding in ECLiPSe
- Questions about arrays
- Quick Easter Puzzle
- RE -Domain
- Reading a file and converting the input to integers...
- regarding List
- Reminder - WCRE and WICSA submissions
- REMINDER: CALL FOR PARTICIPATION to the ECLIPSE SUMMER SCHOOL
- RES: Do Eclipse work's with glibc2.3?
- resetting Eclipse and embeddedEngine vs OutOfProcessEngine
- Resource ALlocation in ECLiPSe
- Returning lists
- RIA Constraint Solver Question
- Running Eclipse from C++
- running embedded ECLiPSe from IBMJava2-13?
- Search technique in ECLiPSe?
- search/6 inside bagof/3?
- searchtree visualized as graph
- select/3 for lists?
- setarg/3: Meaning of "aliased"
- setenv?
- Sets implies
- setTimes heuristic
- Setting global/local stack sizes to more than 2 GB in Linux
- shadow-cons not for library(fd_sets) ??
- shadow_cons
- Simple syntax question
- Slight overlook on fd_search
- Social Golfers
- Software Engineers wanted - Prolog / Constraint Solving / Unix
- Solving a traditional binary CSP in Eclipse
- Solving arithmetic constraints (with ic?)
- Some questions about random/1 and frandom/1
- Something incompatible?
- sorted constraint
- Stack sizes
- starting eclipse from command line
- statistics(times, Times)
- statistics:number of choicepoints
- strange behaviour
- Strange behaviour of profile
- String representation of an Eclipse Term
- Suggestion: #::(V, [], 0) should succeed
- suspending until several variables are all instantiated
- syntax error: postfix/infix operator expected
- TCL problems
- Text editor does not have a document provider
- The n-queens problem
- The square tiling problem
- throwing an event into eclipse
- To change working directory using Java
- To create own library for ECLiPSe
- Try out the Wiki
- Trying to redefine imported existing procedure in ground/1
- TSP formulation
- turn off garbage collector?
- two questions
- Two questions regarding lib(fd).
- Type problems
- Typo
- unification
- Uniqueness in a set of variables
- Use of Eclipse for Configurators?
- Using branch and bound library
- Using C-Predicates in Eclipse
- Using Eclipse for role allocation
- using Eclipse How to set classpath for other class residing in other plugins
- Using Eclipse with Xpress-MP
- Using handles with C++
- Using I/O in ECLiPSe
- Using libs Eclise from Prolog
- Using min_max with a list objective function
- Using real-valued solver for propogation purposes
- Using timeout
- utf8 from java to eclipse and back?
- UU
- Variables with the same name
- Warehouse location
- Warning
- WG: Problem with repeatedly compiling files with partly the same content and EmbeddedEclipse
- What am I doing wrong?
- What happened to bang?
- What is wrong with my code?
- Which goal failed?
- Windows 2000
- work on variables in C predicate
- works with 50Mb
- XPRESS-MP licensing problem
- XPRESS-MP R12 Interface and Student Version
- yes with disjunction
- your mail
- Last message date: Wed 16 Nov 2005 10:52:10 AM GMT
- Archived on: Wed 16 Nov 2005 06:07:40 PM GMT GMT