There is a newer version of this record available.

Software Open Access

rhazn/logic-components: Initial release

Philip Heltweg

This release includes a very basic version of components to work with:

  • propositional signatures
  • propositional worlds
  • preference relations over propositional worlds (total preorders and ranking functions)
Files (126.3 kB)
Name Size
rhazn/logic-components-v0.0.1.zip
md5:a1c658bf4bda380f29aa102631c1e7bb
126.3 kB Download
56
7
views
downloads
All versions This version
Views 5618
Downloads 72
Data volume 871.9 kB252.6 kB
Unique views 4011
Unique downloads 61

Share

Cite as