flexoron
flexoron
At the home-page there are 3 examples where you can try and go: https://www.metalevel.at/prolog/timetabling/ (Cut/Paste) Example 1 and 2 do work(but no timetable.txt has been written) $ ../scryer-prolog/target/release/scryer-prolog simsttab.pl example1.pl...
git bisect drives compiling into crates hell For example: Compiling lexical-core-0.4.6 error[E0308]: mismatched types lexical-core-0.4.6/src/atof/algorithm/bigcomp.rs:243:55 let nlz = den.leading_zeros().wrapping_sub(wlz) & (u32::BITS - 1); -> expected usize, found u32 After fixing...
this works, too: reqs.pl %room_alloc(r1, '1a', sjk, 0). %room_alloc(r1, '1a', sjk, 1). room_alloc(r1, '4c', mat, 0). room_alloc(r1, '4d', mat, 0). the issue is with: room_alloc(r1, '1a', sjk, 0). room_alloc(r1, '1a',...
this works, too: reqs.pl room_alloc(r1, '2a', sjk, 0). room_alloc(r1, '2a', sjk, 1). room_alloc(r1, '4c', mat, 0). room_alloc(r1, '4a', mat, 0). the system does not like (to be:-) '1a'
@triska: sorting is not an option because when sorted both scryer versions do the job. I wonder how Example3 (https://www.metalevel.at/prolog/timetabling) works(it is not sorted)?
example3.pl is cut/paste from www.metalevel.at/prolog/timetabling Well, here it works if sorted with this command. $ sort example3.pl > example3-sorted.pl $ # discontinguous disabled $ ../scryer-prolog-old/target/release/scryer-prolog simsttab-old.pl example3-sorted.pl $ # discontinguous...
yes, the new release version(without debug info) consumes twice as much memory. old version: 1.5G new version: 3.0G
segfault: this is a scryer issue. Rust is designed to avoid segmentation faults because segmentation faults are programmer's fault(usually). Maybe triska gives a hint how to tell scryer's rust programmers...
When directives are defined in reqs.pl, it works. (and so does Example 3, unsorted). $ cat reqs.pl % Simplified: 1 teacher, 1 subject, 2 classes, 2 x 5 lessons, 2...
This application is new to me. ok? Here on my system, scyrer stabilizes its memory after a while and stops consuming. The CPU temperature shows slow growth.. Anyway, my kiddy(1b)...