The SWI-Prolog GIT repositories

2012-01-08	Markus Triska	Stronger multiplication with aliasing. Roberto Bagnara.	blob \| commitdiff
2012-01-08	Markus Triska	Revert "Stronger multiplication. Roberto Bagnara."	blob \| commitdiff \| diff to current
2012-01-08	Markus Triska	Stronger multiplication. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-08	Markus Triska	Stronger inequality with aliasing. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-08	Markus Triska	Stronger division. Roberto Bagnara and Alessandro Zacca...	blob \| commitdiff \| diff to current
2012-01-07	Markus Triska	Revert "Revert "Stronger division. Roberto Bagnara.""	blob \| commitdiff \| diff to current
2012-01-07	Markus Triska	Revert "Stronger division. Roberto Bagnara."	blob \| commitdiff \| diff to current
2012-01-07	Markus Triska	Stronger division. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-05	Markus Triska	Stronger division. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-05	Markus Triska	Stronger mod. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-05	Markus Triska	stronger rem	blob \| commitdiff \| diff to current
2012-01-05	Markus Triska	Stronger rem. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-05	Markus Triska	Stronger division. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-04	Markus Triska	fuse cases	blob \| commitdiff \| diff to current
2012-01-03	Markus Triska	kill rem propagator when redundant	blob \| commitdiff \| diff to current
2012-01-03	Markus Triska	Still stronger rem. Roberto Bagnara.	blob \| commitdiff \| diff to current
2012-01-03	Markus Triska	Stronger rem. Roberto Bagnara.	blob \| commitdiff \| diff to current
2011-12-28	Markus Triska	Stronger rem. Andrea Cimino.	blob \| commitdiff \| diff to current
2011-12-04	Markus Triska	add sample reference if you want to cite this library...	blob \| commitdiff \| diff to current
2011-08-28	Markus Triska	Stronger exponentiation. Roberto Bagnara.	blob \| commitdiff \| diff to current
2011-08-22	Jan Wielemaker	Bug#8: Updated FSF address	blob \| commitdiff \| diff to current
2011-08-01	Markus Triska	shorten rem as well	blob \| commitdiff \| diff to current
2011-08-01	Markus Triska	shorter expression in other branch as well	blob \| commitdiff \| diff to current
2011-08-01	Markus Triska	Shorter boundary expression in other branch as well...	blob \| commitdiff \| diff to current
2011-08-01	Markus Triska	Shorter boundary expressions in "mod", using "div"...	blob \| commitdiff \| diff to current
2011-07-30	Markus Triska	simplify augmenting path (keeping track of odd/even...	blob \| commitdiff \| diff to current
2011-07-27	Markus Triska	Still further mod improvements. Andrea Cimino.	blob \| commitdiff \| diff to current
2011-07-27	Markus Triska	further mod improvement	blob \| commitdiff \| diff to current
2011-07-26	Markus Triska	naming: K ==> Z. "pmod" now follows the naming conventi...	blob \| commitdiff \| diff to current
2011-07-26	Markus Triska	naming: M ==> Y	blob \| commitdiff \| diff to current
2011-07-26	Markus Triska	Extend fast mod propagation to more cases. Roberto...	blob \| commitdiff \| diff to current
2011-07-24	Markus Triska	apply faster "mod" propagation for upper bound =< 0	blob \| commitdiff \| diff to current
2011-07-24	Markus Triska	apply faster "mod" and "rem" propagations also for 0	blob \| commitdiff \| diff to current
2011-07-24	Markus Triska	Faster propagation for lower bound in "mod". Andrea...	blob \| commitdiff \| diff to current
2011-07-23	Markus Triska	lift out conditions in "rem"	blob \| commitdiff \| diff to current
2011-07-23	Markus Triska	ENHANCED: CLP(FD): Faster propagation in "rem". Andrea...	blob \| commitdiff \| diff to current
2011-06-24	Markus Triska	remove now unused arcs//2	blob \| commitdiff \| diff to current
2011-06-24	Markus Triska	tighter coupling of Booleans make automaton/8 constrain...	blob \| commitdiff \| diff to current
2011-06-24	Markus Triska	wording	blob \| commitdiff \| diff to current
2011-06-24	Markus Triska	tighter coupling between tasks and Boolean indicators	blob \| commitdiff \| diff to current
2011-06-24	Markus Triska	ADDED: CLP(FD): cumulative/1 and cumulative/2, generali...	blob \| commitdiff \| diff to current
2011-06-20	Markus Triska	nest at same level	blob \| commitdiff \| diff to current
2011-06-20	Markus Triska	avoid obtaining floats from negative exponents	blob \| commitdiff \| diff to current
2011-06-20	Markus Triska	ENHANCED: CLP(FD): Stronger exponentiation. Roberto...	blob \| commitdiff \| diff to current
2011-06-18	Markus Triska	remove now unused argument	blob \| commitdiff \| diff to current
2011-06-17	Markus Triska	ENHANCED: CLP(FD): Remove auxiliary constraints in...	blob \| commitdiff \| diff to current
2011-05-04	Markus Triska	naming	blob \| commitdiff \| diff to current
2011-05-04	Markus Triska	fix index	blob \| commitdiff \| diff to current
2011-05-04	Jan Wielemaker	FIXED: Representation of clpfd queues to be GC friendly.	blob \| commitdiff \| diff to current
2011-04-22	Markus Triska	shorten	blob \| commitdiff \| diff to current
2011-04-22	Markus Triska	ENHANCED: CLP(FD): Propagation for conjunctive disequal...	blob \| commitdiff \| diff to current
2011-04-22	Markus Triska	ENHANCED: CLP(FD): Propagation for disjunctive equaliti...	blob \| commitdiff \| diff to current
2011-04-13	Markus Triska	move all_distinct/1 documentation close to all_different/1	blob \| commitdiff \| diff to current
2011-04-12	Markus Triska	shorten skeleton creation	blob \| commitdiff \| diff to current
2011-04-11	Markus Triska	fuse skeleton activations for reified /, mod and rem	blob \| commitdiff \| diff to current
2011-04-10	Markus Triska	ENHANCED: CLP(FD): "rem" is now reifiable. Roberto...	blob \| commitdiff \| diff to current
2011-04-10	Markus Triska	Documentation enhancements. Roberto Bagnara.	blob \| commitdiff \| diff to current
2011-04-10	Markus Triska	use apply_macros, no reactivation for global constraint...	blob \| commitdiff \| diff to current
2011-02-09	Markus Triska	move global_cardinality/2 example	blob \| commitdiff \| diff to current
2011-02-09	Markus Triska	document possible sum/3 and scalar_product/4 relations	blob \| commitdiff \| diff to current
2011-02-09	Markus Triska	move description to global_cardinality/3	blob \| commitdiff \| diff to current
2011-01-27	Markus Triska	remove redundant line	blob \| commitdiff \| diff to current
2011-01-27	Markus Triska	ADDED: CLP(FD): "consistency(value)" option for global_...	blob \| commitdiff \| diff to current
2011-01-20	Markus Triska	Faster propagation in rem.	blob \| commitdiff \| diff to current
2011-01-16	Markus Triska	stronger rem	blob \| commitdiff \| diff to current
2011-01-16	Markus Triska	Still stronger rem. Roberto Bagnara.	blob \| commitdiff \| diff to current
2011-01-15	Markus Triska	stronger rem and mod. Roberto Bagnara.	blob \| commitdiff \| diff to current
2011-01-15	Markus Triska	stronger rem	blob \| commitdiff \| diff to current
2011-01-14	Markus Triska	experimental support for "rem" (remainder of integer...	blob \| commitdiff \| diff to current
2011-01-06	Markus Triska	improved goal expansion subsumes commit 7fcf0bc39bb429a...	blob \| commitdiff \| diff to current
2010-12-19	Markus Triska	document integer exponentiation	blob \| commitdiff \| diff to current
2010-12-19	Markus Triska	Generalise stronger linear sum propagation. Example...	blob \| commitdiff \| diff to current
2010-12-19	Markus Triska	ENHANCED: CLP(FD): Stronger linear sum. Example: 3...	blob \| commitdiff \| diff to current
2010-12-17	Markus Triska	ENHANCED: CLP(FD): Branching strategy "bisect" now...	blob \| commitdiff \| diff to current
2010-09-09	Markus Triska	naming	blob \| commitdiff \| diff to current
2010-09-09	Jan Wielemaker	Merge commit 'origin/iso-edinburgh-2010'	blob \| commitdiff \| diff to current
2010-08-23	Markus Triska	shorten	blob \| commitdiff \| diff to current
2010-08-22	Markus Triska	naming: times ==> product, divide ==> factor	blob \| commitdiff \| diff to current
2010-08-22	Markus Triska	stronger division	blob \| commitdiff \| diff to current
2010-08-22	Markus Triska	remove remaining uses of cis_geq_zero/1	blob \| commitdiff \| diff to current
2010-08-22	Markus Triska	use even/1	blob \| commitdiff \| diff to current
2010-08-21	Markus Triska	goal expansion for cis_geq and cis_leq	blob \| commitdiff \| diff to current
2010-08-21	Markus Triska	earlier goal expansion	blob \| commitdiff \| diff to current
2010-08-21	Markus Triska	more extensive goal expansion for internal compactified...	blob \| commitdiff \| diff to current
2010-08-15	Markus Triska	use newly computed X boundaries	blob \| commitdiff \| diff to current
2010-08-15	Markus Triska	use exception mechanism to reset locally used attribute...	blob \| commitdiff \| diff to current
2010-08-14	Markus Triska	naming: distinct_edges//2 --> distinct_goals_//2	blob \| commitdiff \| diff to current
2010-08-14	Markus Triska	introduce and use min_max_divide/8, fusing min_divide...	blob \| commitdiff \| diff to current
2010-08-14	Markus Triska	ENHANCED: CLP(FD): Multiplication is now bounds-consistent.	blob \| commitdiff \| diff to current
2010-08-13	Markus Triska	introduce and use min_divide/7 and max_divide/7	blob \| commitdiff \| diff to current
2010-08-13	Markus Triska	introduce and use update_bounds/7	blob \| commitdiff \| diff to current
2010-08-10	Markus Triska	shorten	blob \| commitdiff \| diff to current
2010-08-10	Markus Triska	shorten	blob \| commitdiff \| diff to current
2010-08-10	Markus Triska	ENHANCED: CLP(FD): Stronger multiplication and division.	blob \| commitdiff \| diff to current
2010-08-03	Markus Triska	share augmenting_path//2 among all_distinct/1 and globa...	blob \| commitdiff \| diff to current
2010-07-28	Markus Triska	add example session to documentation	blob \| commitdiff \| diff to current
2010-07-28	Markus Triska	wording	blob \| commitdiff \| diff to current
2010-07-28	Markus Triska	introduce and use propagator_state/2	blob \| commitdiff \| diff to current
2010-07-28	Markus Triska	naming	blob \| commitdiff \| diff to current
2010-07-28	Markus Triska	shorten	blob \| commitdiff \| diff to current
next

SWI-Prolog development branch (please use pl-devel.git)

RSS Atom

Further information about the SWI-Prolog GIT repositories