relationalai 0.12.2__py3-none-any.whl → 0.12.3__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- relationalai/experimental/solvers.py +18 -19
- relationalai/semantics/lqp/executor.py +26 -1
- relationalai/semantics/lqp/rewrite/extract_common.py +4 -2
- relationalai/semantics/metamodel/builtins.py +6 -6
- relationalai/semantics/metamodel/dependency.py +40 -20
- relationalai/semantics/metamodel/helpers.py +7 -6
- relationalai/semantics/metamodel/rewrite/extract_nested_logicals.py +1 -4
- relationalai/semantics/reasoners/graph/core.py +731 -95
- relationalai/semantics/std/math.py +2 -2
- {relationalai-0.12.2.dist-info → relationalai-0.12.3.dist-info}/METADATA +1 -1
- {relationalai-0.12.2.dist-info → relationalai-0.12.3.dist-info}/RECORD +14 -14
- {relationalai-0.12.2.dist-info → relationalai-0.12.3.dist-info}/WHEEL +0 -0
- {relationalai-0.12.2.dist-info → relationalai-0.12.3.dist-info}/entry_points.txt +0 -0
- {relationalai-0.12.2.dist-info → relationalai-0.12.3.dist-info}/licenses/LICENSE +0 -0
|
@@ -13,10 +13,10 @@ def natural_log(value: _Number) -> b.Expression:
|
|
|
13
13
|
def log(value: _Number, base: _Number | None = None) -> b.Expression:
|
|
14
14
|
if base is None:
|
|
15
15
|
return _make_expr("natural_log", value, b.Number.ref("res"))
|
|
16
|
-
return _make_expr("log",
|
|
16
|
+
return _make_expr("log", base, value, b.Number.ref("res"))
|
|
17
17
|
|
|
18
18
|
def log2(value: _Number) -> b.Expression:
|
|
19
|
-
return _make_expr("log",
|
|
19
|
+
return _make_expr("log", 2, value, b.Number.ref("res"))
|
|
20
20
|
|
|
21
21
|
def log10(value: _Number) -> b.Expression:
|
|
22
22
|
return _make_expr("log10", value, b.Number.ref("res"))
|
|
@@ -226,7 +226,7 @@ relationalai/experimental/SF.py,sha256=cLIPCgTa6yCkmAU4zw3o2OlSM_Sl8ah3JUpHVoHzr
|
|
|
226
226
|
relationalai/experimental/__init__.py,sha256=alaOJulJ9YHRl4WGyQ3Kzxhrpc2gP542oNheWXzs7NQ,74
|
|
227
227
|
relationalai/experimental/graphs.py,sha256=vJQ_8ZF_Q2pL-w1xI4O22VGqbnTDimkkqTNqqIkGL7c,3521
|
|
228
228
|
relationalai/experimental/inspect.py,sha256=jpk_xl_bWRcX96xVrHsex-YE3sTqa-W2b5IjGXoxeWk,1635
|
|
229
|
-
relationalai/experimental/solvers.py,sha256=
|
|
229
|
+
relationalai/experimental/solvers.py,sha256=qN35ju-qs5zI_CZlcx9nCFSVr4XDKS8IZ7JzRxztzpM,43316
|
|
230
230
|
relationalai/experimental/pathfinder/__init__.py,sha256=wzF7zzl5Cvp2CkFaPpY2VU-Tg7I03wvxGq7kp8FVvU0,5429
|
|
231
231
|
relationalai/experimental/pathfinder/api.py,sha256=HT6PAt5gszgJhbnqsHACzZrr9ps9kwcHYu9Nf2EYtTA,4235
|
|
232
232
|
relationalai/experimental/pathfinder/automaton.py,sha256=Z_TYjf5j89-48rxjxl0jV9Q0BR4VhV9cKRTFES7c1t0,21898
|
|
@@ -262,7 +262,7 @@ relationalai/semantics/lqp/__init__.py,sha256=XgcQZxK-zz_LqPDVtwREhsIvjTuUIt4BZh
|
|
|
262
262
|
relationalai/semantics/lqp/builtins.py,sha256=bRmQ6fdceWU-4xf4l-W-YiuyDxJTPey1s6O4xlyW6iM,540
|
|
263
263
|
relationalai/semantics/lqp/compiler.py,sha256=Nury1gPw_-Oi_mqT1-rhr13L4UmyIP2BGuotbuklQKA,949
|
|
264
264
|
relationalai/semantics/lqp/constructors.py,sha256=8U4eUL8-m1wYRQnws_YWC1coGquTugVH5YC0Zek6VT8,2309
|
|
265
|
-
relationalai/semantics/lqp/executor.py,sha256=
|
|
265
|
+
relationalai/semantics/lqp/executor.py,sha256=tKs4J7EWzqGm-qp4kCWBPG_uoafzoLODsCJTKRZUsG4,20439
|
|
266
266
|
relationalai/semantics/lqp/intrinsics.py,sha256=Pb1mLIme7Q-5Y-CVacUOEvapfhKs076bgtRNi3f0ayY,833
|
|
267
267
|
relationalai/semantics/lqp/ir.py,sha256=DUw0ltul0AS9CRjntNlmllWTwXpxMyYg4iJ9t7NFYMA,1791
|
|
268
268
|
relationalai/semantics/lqp/model2lqp.py,sha256=M---RMVLEollI4aGHFh-2klR4y6C88vPKCHFd6tPNz8,31753
|
|
@@ -275,19 +275,19 @@ relationalai/semantics/lqp/utils.py,sha256=x8dcfVoyqzCznNFtI4qSNSL-vWcdxzC-QrnFJ
|
|
|
275
275
|
relationalai/semantics/lqp/validators.py,sha256=YO_ciSgEVNILWUbkxIagKpIxI4oqV0fRSTO2Ok0rPJk,1526
|
|
276
276
|
relationalai/semantics/lqp/rewrite/__init__.py,sha256=NQMkrZMUrLksScGXs0EiZTT-In5VltvswfeB4kCkeZM,337
|
|
277
277
|
relationalai/semantics/lqp/rewrite/cdc.py,sha256=I6DeMOZScx-3UAVoSCMn9cuOgLzwdvJVKNwsgFa6R_k,10390
|
|
278
|
-
relationalai/semantics/lqp/rewrite/extract_common.py,sha256=
|
|
278
|
+
relationalai/semantics/lqp/rewrite/extract_common.py,sha256=N__2wqebrJI04OFhi4msohcm8wSRUtSUNxYs60IGn4M,17443
|
|
279
279
|
relationalai/semantics/lqp/rewrite/extract_keys.py,sha256=dSr5SVkYmrhiR0XPY5eRAnWD66dcZYgXdilXcERv634,18682
|
|
280
280
|
relationalai/semantics/lqp/rewrite/fd_constraints.py,sha256=a4jetchlOfm2rb3QD0Nil0bvermpBx1up7p1uNgcJHg,3503
|
|
281
281
|
relationalai/semantics/lqp/rewrite/quantify_vars.py,sha256=wYMEXzCW_D_Y_1rSLvuAAqw9KN1oIOn_vIMxELzRVb4,11568
|
|
282
282
|
relationalai/semantics/lqp/rewrite/splinter.py,sha256=oeDjP_F2PVLVexAKFn8w7CLtO9oy-R-tS2IOmzw_Ujk,3199
|
|
283
283
|
relationalai/semantics/metamodel/__init__.py,sha256=I-XqQAGycD0nKkKYvnF3G9d0QK_1LIM4xXICw8g8fBA,805
|
|
284
|
-
relationalai/semantics/metamodel/builtins.py,sha256=
|
|
284
|
+
relationalai/semantics/metamodel/builtins.py,sha256=vGzNGTqD1q4Yn2K1Rx6D47t_CUZDbp-16ndE56RiT70,35965
|
|
285
285
|
relationalai/semantics/metamodel/compiler.py,sha256=XBsAnbFwgZ_TcRry6yXGWLyw_MaO2WJDp1EnC_ubhps,4525
|
|
286
286
|
relationalai/semantics/metamodel/dataflow.py,sha256=wfj1tARrR4yEAaTwUTrAcxEcz81VkUal4U_AX1esovk,3929
|
|
287
|
-
relationalai/semantics/metamodel/dependency.py,sha256=
|
|
287
|
+
relationalai/semantics/metamodel/dependency.py,sha256=1bqSZw3OJffcsLYozR7zs_9ROIcK33f2zU8jIA7JOlI,33699
|
|
288
288
|
relationalai/semantics/metamodel/executor.py,sha256=_pm--QNvAjd-GgiMKMrpkPZ2eE0H1IM5ZB0l1DGkRs0,2614
|
|
289
289
|
relationalai/semantics/metamodel/factory.py,sha256=Vk3ASwWan08mfGehoOOwMixuU_mEbG2vNl8JLSCJ2OU,12581
|
|
290
|
-
relationalai/semantics/metamodel/helpers.py,sha256=
|
|
290
|
+
relationalai/semantics/metamodel/helpers.py,sha256=aeXWkS-iKfLqqXtlMjQZyqIIiIsG9dqP4cQA3cUmM08,15403
|
|
291
291
|
relationalai/semantics/metamodel/ir.py,sha256=4Xl3oc92Q7_s33axtrZUXr-GL8VGJsKc7yaSNcO6jXY,33578
|
|
292
292
|
relationalai/semantics/metamodel/types.py,sha256=m3NolF3B_fBSnkQKA9o1feEawaW7RhR-t6W9OSxSFfc,11492
|
|
293
293
|
relationalai/semantics/metamodel/util.py,sha256=cmSmeww34JVMqcFudwVAY820IPM2ETSELJylwJ3GRJk,16654
|
|
@@ -295,7 +295,7 @@ relationalai/semantics/metamodel/visitor.py,sha256=DFY0DACLhxlZ0e4p0vWqbK6ZJr_GW
|
|
|
295
295
|
relationalai/semantics/metamodel/rewrite/__init__.py,sha256=aPgZuRGpULwPVWtENUEHmGBSNAEsxz1i0t257IOCO-E,285
|
|
296
296
|
relationalai/semantics/metamodel/rewrite/discharge_constraints.py,sha256=0v613BqCLlo4sgWuZjcLSxxakp3d34mYWbG4ldhzGno,1949
|
|
297
297
|
relationalai/semantics/metamodel/rewrite/dnf_union_splitter.py,sha256=dlyD868Pg424BLowY4A0gOmSziSy1U-dYGXZEE3SW8E,7956
|
|
298
|
-
relationalai/semantics/metamodel/rewrite/extract_nested_logicals.py,sha256=
|
|
298
|
+
relationalai/semantics/metamodel/rewrite/extract_nested_logicals.py,sha256=0aKMoniIzq-uAm1iItRQEUxGGDYVnT8pWZxFXWlOk50,3366
|
|
299
299
|
relationalai/semantics/metamodel/rewrite/flatten.py,sha256=diBVspq0MLu6tP2lwMs5TcLImF_2AUDbzhMKRYfrPxg,28449
|
|
300
300
|
relationalai/semantics/metamodel/typer/__init__.py,sha256=E3ydmhWRdm-cAqWsNR24_Qd3NcwiHx8ElO2tzNysAXc,143
|
|
301
301
|
relationalai/semantics/metamodel/typer/checker.py,sha256=frY0gilDO6skbDiYFiIpDUOWyt9s9jAJsRBs848DcG0,19184
|
|
@@ -303,7 +303,7 @@ relationalai/semantics/metamodel/typer/typer.py,sha256=jBo0CwY6G0qKBzqoAmQ09dPtc
|
|
|
303
303
|
relationalai/semantics/reasoners/__init__.py,sha256=Tu4U26rrkBIzAk3a4tXRJaeD5mAtK9Z7JXh2c6VJ-J4,249
|
|
304
304
|
relationalai/semantics/reasoners/graph/README.md,sha256=QgKEXTllp5PO-yK8oDfMx1PNTYF2uVoneMRKsWTY5GU,23953
|
|
305
305
|
relationalai/semantics/reasoners/graph/__init__.py,sha256=jSXR6J05SQZdjxQ5Y-ovqFqGTAXCOWeQDcvpfoBYgDA,1282
|
|
306
|
-
relationalai/semantics/reasoners/graph/core.py,sha256=
|
|
306
|
+
relationalai/semantics/reasoners/graph/core.py,sha256=xkHPJJeFb63BemltBHq8VJD2ThqClyF1paDV05zSnGU,349862
|
|
307
307
|
relationalai/semantics/reasoners/graph/design/beyond_demand_transform.md,sha256=Givh0W6B6Hlow6TpmK-8adpEYd8b3O_WmdgMOQIyKs0,55749
|
|
308
308
|
relationalai/semantics/reasoners/graph/paths/README.md,sha256=ydm6CzMN_vOOgq7a6_hBCiyGi3D6g5gxAbf4OXbQbDE,3433
|
|
309
309
|
relationalai/semantics/reasoners/graph/paths/__init__.py,sha256=oCoDJVg4moGe0tNMNeRn7XQqa1AIEZGlxAiaD5bBahg,211
|
|
@@ -398,7 +398,7 @@ relationalai/semantics/std/datetime.py,sha256=C3pg8ca7U7cHn31SeaIbd_G_WkyuXH4uZa
|
|
|
398
398
|
relationalai/semantics/std/decimals.py,sha256=aWySCSR6XliFSYkzj-s_gxvlALC0G4nbpRo_7VD5Tl8,2403
|
|
399
399
|
relationalai/semantics/std/floats.py,sha256=WswJaQBytGDtacUq6Ght5zGmZFNHHBjvthRqXNNKar8,243
|
|
400
400
|
relationalai/semantics/std/integers.py,sha256=wacxpVzNccJN4Lcfb5Nh5tssIztp32rTVQfLBl7MGKI,740
|
|
401
|
-
relationalai/semantics/std/math.py,sha256=
|
|
401
|
+
relationalai/semantics/std/math.py,sha256=nIfyImy4iIc40n6gbKwRZfo4zaatqK_frwb3402F_y4,5425
|
|
402
402
|
relationalai/semantics/std/pragmas.py,sha256=3QyAXv5W5GCbMGdBw7_F-VMovv3gMfgjmXvciqXqBFA,400
|
|
403
403
|
relationalai/semantics/std/re.py,sha256=8XvWWC85OCE8HnfLbQzOPvSGv9ayFkM8ppVkrRH82BU,3424
|
|
404
404
|
relationalai/semantics/std/std.py,sha256=Ql27y2Rs0d1kluktWi-t6_M_uYIxQUfO94GjlVfiNbI,462
|
|
@@ -453,8 +453,8 @@ frontend/debugger/dist/index.html,sha256=0wIQ1Pm7BclVV1wna6Mj8OmgU73B9rSEGPVX-Wo
|
|
|
453
453
|
frontend/debugger/dist/assets/favicon-Dy0ZgA6N.png,sha256=tPXOEhOrM4tJyZVJQVBO_yFgNAlgooY38ZsjyrFstgg,620
|
|
454
454
|
frontend/debugger/dist/assets/index-Cssla-O7.js,sha256=MxgIGfdKQyBWgufck1xYggQNhW5nj6BPjCF6Wleo-f0,298886
|
|
455
455
|
frontend/debugger/dist/assets/index-DlHsYx1V.css,sha256=21pZtAjKCcHLFjbjfBQTF6y7QmOic-4FYaKNmwdNZVE,60141
|
|
456
|
-
relationalai-0.12.
|
|
457
|
-
relationalai-0.12.
|
|
458
|
-
relationalai-0.12.
|
|
459
|
-
relationalai-0.12.
|
|
460
|
-
relationalai-0.12.
|
|
456
|
+
relationalai-0.12.3.dist-info/METADATA,sha256=9hO6-mtkEsNmxmxcGprjapISmqOolWYWqxaeFUkC2Yg,2562
|
|
457
|
+
relationalai-0.12.3.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
|
|
458
|
+
relationalai-0.12.3.dist-info/entry_points.txt,sha256=fo_oLFJih3PUgYuHXsk7RnCjBm9cqRNR--ab6DgI6-0,88
|
|
459
|
+
relationalai-0.12.3.dist-info/licenses/LICENSE,sha256=pPyTVXFYhirkEW9VsnHIgUjT0Vg8_xsE6olrF5SIgpc,11343
|
|
460
|
+
relationalai-0.12.3.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|
|
File without changes
|