sebdisdv's repositories

Language:CStargazers:1Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:1Issues:0Issues:0
Language:PythonLicense:GPL-2.0Stargazers:4Issues:0Issues:0
Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

pylogics

A Python library for logic formalisms representation and manipulation.

License:LGPL-3.0Stargazers:0Issues:0Issues:0

Plan4Past

Classical and FOND Planning for Pure-Past Linear Temporal Goals

License:LGPL-3.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

LABSO

cose fatte male

Language:CStargazers:1Issues:0Issues:0