Commits · 0.20.3 · PIKA-lab / tuProlog / 2P-Kt · GitLab

Nov 05, 2021
- + improve js api · c94640cc
  Giovanni Ciatto authored Nov 05, 2021
  
  View commits for tag 0.20.3 0.20.3
  c94640cc
- + full package · 51892bb0
  Giovanni Ciatto authored Nov 05, 2021
  
  51892bb0
- + problog examples · cffa538d
  Giovanni Ciatto authored Nov 05, 2021
  
  cffa538d
- + probablistic solver example · ed7d8670
  Giovanni Ciatto authored Nov 05, 2021
  
  ed7d8670
- improve management of probabilistic operators · abc373f1
  Giovanni Ciatto authored Nov 05, 2021
  
  abc373f1
- make usage of Solver factories consistent with deprecations · 0183f5a2
  Giovanni Ciatto authored Nov 05, 2021
  
  0183f5a2
- add factories for prolog and problog solvers, and their tests · acc711a1
  Giovanni Ciatto authored Nov 05, 2021
  
  acc711a1
- fix packages in solve-plp and solver-problog · 71532580
  Giovanni Ciatto authored Nov 05, 2021
  
  71532580
Oct 18, 2021
- make jvm version targetting consistent in mpp and jvm projects · 7ac4a41e
  Giovanni Ciatto authored Oct 18, 2021
  
  View commits for tag 0.20.2 0.20.2
  7ac4a41e
- update gitSemVer plugin · 1c98288a
  Giovanni Ciatto authored Oct 18, 2021
  
  1c98288a
- update versions · 154bec90
  Giovanni Ciatto authored Oct 18, 2021
  
  154bec90
- use gradlew 7.2 · f4fb028a
  Giovanni Ciatto authored Oct 18, 2021
  
  f4fb028a
Sep 06, 2021
- + PyUtils on jvm · e77b629d
  Giovanni Ciatto authored Sep 06, 2021
  
  View commits for tag 0.20.1 0.20.1
  e77b629d
Aug 27, 2021
- Merge branch 'feature/prob-lib' into 'develop' · f6956cce
  Giovanni Ciatto authored Aug 27, 2021
  View commits for tag 0.20.0 0.20.0
  f6956cce
- update readme for plp · f08ce683
  Giovanni Ciatto authored Aug 27, 2021
  
  f08ce683
Aug 24, 2021
- update project map · abb544c9
  Giovanni Ciatto authored Aug 24, 2021
  
  abb544c9
- make createDefaultBinaryDecisionDiagramBuilder common code · 86c364ba
  Giovanni Ciatto authored Aug 24, 2021
  
  86c364ba
Aug 23, 2021
- perform renaming of probabilistic modules · 9db5a5f7
  Giovanni Ciatto authored Aug 23, 2021
  
  9db5a5f7
- Merge branch 'master' into feature/prob-lib · 52d63c78
  Giovanni Ciatto authored Aug 23, 2021
  
  52d63c78
- Improve graph rendering UX and logic · b1174317
  Jason authored Aug 23, 2021
  
  b1174317
Aug 22, 2021
- Improve prob-ide UX · b85f14b9
  Jason authored Aug 23, 2021
  
  b85f14b9
- Fix broken tests · 520b4f61
  Jason authored Aug 22, 2021
  
  520b4f61
Aug 09, 2021
- change order of arguments Library.aliases and Library.unaliased to make them... · 0b12c4a3
  Giovanni Ciatto authored Aug 09, 2021
  View commits for tag 0.19.0 0.19.0
  0b12c4a3
- change order of arguments Library.aliases and Library.unaliased to make them... · 1054ca31
  Giovanni Ciatto authored Aug 09, 2021
  1054ca31
- make primitive wrapper's functions static on jvm · eda9f624
  Giovanni Ciatto authored Aug 09, 2021
  
  eda9f624
- Merge branch 'feature/examples' into develop · 31c45e42
  Giovanni Ciatto authored Aug 09, 2021
  
  31c45e42
- add example on Primitives creation in java · 8a33e2be
  Giovanni Ciatto authored Aug 09, 2021
  
  8a33e2be
- Merge branch 'feature/renaming' into 'develop' · a1bd2a91
  Giovanni Ciatto authored Aug 09, 2021
  a1bd2a91
- update json/yaml serialization with the renaming Set -> Block · b1123136
  Giovanni Ciatto authored Aug 09, 2021
  
  b1123136
Aug 06, 2021
- Merge branch 'develop' into feature/prob-lib · 1ff5ef77
  Giovanni Ciatto authored Aug 06, 2021
  1ff5ef77
- Merge branch 'develop' into feature/examples · 13957e4e
  Giovanni Ciatto authored Aug 06, 2021
  13957e4e
- Implement Prob IDE · 879fd396
  Jason authored Aug 06, 2021
  
  879fd396
Aug 02, 2021
- fix ReadEditSolve examples on both Kt and Java · 2642bd77
  Giovanni Ciatto authored Aug 02, 2021
  
  2642bd77
- + ReadEditSolve examples on both Kt and Java · f3587ed6
  Giovanni Ciatto authored Aug 02, 2021
  
  f3587ed6
- Merge branch 'master' into feature/examples · cca317d7
  Giovanni Ciatto authored Aug 02, 2021
  
  cca317d7
Jul 30, 2021
- Add BDDs on solutions · 63a3c29c
  Jason authored Jul 30, 2021
  
  63a3c29c
Jul 17, 2021
- Merge branch 'feature/renaming' into 'develop' · 97c182a8
  Giovanni Ciatto authored Jul 17, 2021
  97c182a8
- fix warnings · c67612d7
  Giovanni Ciatto authored Jul 17, 2021
  
  c67612d7
- Collection -> Recursive · 766e4ea0
  Giovanni Ciatto authored Jul 17, 2021
  
  766e4ea0
- Merge branch 'feature/renaming' into 'develop' · 72506c74
  Giovanni Ciatto authored Jul 17, 2021
  72506c74