Pinned Repositories
aspmc
An efficient compilation based algebraic answer set counter.
graphpl
SWI prolog package to manage graphs
ltools
Lists manipulation and combinatorics in Prolog.
matrixOperations
Common matrix operations implemented in prolog
pasta
Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.
plplot
Plot graphs in SWI Prolog using plplot
plstat
Statistics using prolog
probat
Property based testing Prolog programs.
solidity
Solidity, the Contract-Oriented Programming Language
symbolicdiff
Symbolic differentiation and more
damianoazzolini's Repositories
damianoazzolini/plstat
Statistics using prolog
damianoazzolini/pasta
Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.
damianoazzolini/probat
Property based testing Prolog programs.
damianoazzolini/plplot
Plot graphs in SWI Prolog using plplot
damianoazzolini/solidity
Solidity, the Contract-Oriented Programming Language
damianoazzolini/graphpl
SWI prolog package to manage graphs
damianoazzolini/matrixOperations
Common matrix operations implemented in prolog
damianoazzolini/symbolicdiff
Symbolic differentiation and more
damianoazzolini/aspmc
An efficient compilation based algebraic answer set counter.
damianoazzolini/bitcoin
Bitcoin Core integration/staging tree
damianoazzolini/damianoazzolini.github.io
My blog website
damianoazzolini/ltools
Lists manipulation and combinatorics in Prolog.
damianoazzolini/rasp
A REPL for ASP (clingo)
damianoazzolini/gentians
GENTIANS: GENeTic algoritm for Inductive learning of ANswer Set programs.
damianoazzolini/mop
damianoazzolini/pasta_website
Website for PASTA
damianoazzolini/swipl-devel
Main development repository