Sziasztok!
Nekem is jo az idopont, legkesobb fel4-ig fogok tudni maradni.
A 4. kishazi kapcsan, talaltam egy eleg erdekes dolgot, eleg durva bugnak
tunik.
Neha sicstus SIGSEGV-el leallt.
Csinaltam minimalis peldat, amire meg kiakad:
:- use_module(library(clpfd)).
globcons(X, Y) :-
fd_global(globcons(X, Y), [], [minmax(X), minmax(Y), val(Y)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(globcons(X, Y), [], [], A) :-
( nonvar(Y) ->
A = [call(domain([X], inf, Y)), exit]
;
A = []
).
:- globcons(_, Y), Y = 5.
Ez a linuxos 64-bites glibc2.7-es 4.2.1-es sicstus volt nalam, meg tudnatok
nezni hogy nalatok is elszall?
Koszonom,
NGG
2012. december 17. 11:56 Peregi Tamás írta, <petamas(a)gmail.com>om>:
Kedves Péter és többiek!
Nekem megfelel a szerda 14 óra.
Tamás.
2012/12/16 Peter Szeredi <szeredi(a)cs.bme.hu>
Mit szólnátok egy szerda (dec. 19) du 14 órai konzultációhoz a szobámban?
Addig is lehet kérdezni emailben.
Péter
_______________________________________________
NHLP-l mailing list
NHLP-l(a)sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l