Project

Reverse Dependencies for prop_logic

The projects listed here declare prop_logic as a runtime or development dependency

 

Full

Compact

Table

Bugfix forks are hidden

prop_logic-minisat

0.0
No commit activity in last 3 years
No release in over 3 years
prop_logic-minisatjkr2255/prop_logic-minisatHomepage
Minisat binding for PropLogic
2019
2020
2021
2022
2023
2024
Downloads
5,061
Stars
0
Current version
0.2.0
Total releases
2
First release
2016-01-28
Latest release
2016-03-27
Show more project detailsCompare

prop_logic-sat4j

0.0
No commit activity in last 3 years
No release in over 3 years
prop_logic-sat4jjkr2255/prop_logic-sat4jHomepage
Sat4j bindings for prop_logic
2019
2020
2021
2022
2023
2024
Downloads
3,451
Stars
0
Current version
2.3.5.0
Total releases
1
First release
2016-04-05
Latest release
2016-04-05
Show more project detailsCompare