Releases: rhazn/logic-components
Releases · rhazn/logic-components
Public release
Public Release
Updated Readme file to include more information.
Initial release
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)