rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correct odd accidental change to clpb.pl

Browse Source
This commit is contained in:
Mark Thom
2019-12-08 11:44:01 -07:00
parent 923c9d4ad8
commit b0fa45cd33
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prolog/lib/clpb.pl
View File

@@ -1184,7 +1184,7 @@ indomain(1).
% Examples: % Examples:
% %
% == % ==
% ?- % ?- sat(A =< B), Vs = [A,B], sat_count(+[1|Vs], Count).
% Vs = [A, B], % Vs = [A, B],
% Count = 3, % Count = 3,
% sat(A=:=A*B). % sat(A=:=A*B).
@@ -1195,7 +1195,7 @@ indomain(1).
% Vs = [...], % Vs = [...],
% CountOr = 1329227995784915872903807060280344575, % CountOr = 1329227995784915872903807060280344575,
% CountAnd = 1. % CountAnd = 1.
% ==sat(A =< B), Vs = [A,B], sat_count(+[1|Vs], Count). % ==
sat_count(Sat0, N) :- sat_count(Sat0, N) :-
catch((parse_sat(Sat0, Sat), catch((parse_sat(Sat0, Sat),