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 shown

prop_logic-minisat

0.0
No commit activity in last 3 years
No release in over 3 years
prop_logic-minisatjkr2255/prop_logic-minisatHomepageDocumentationSource CodeBug TrackerWiki
Minisat binding for PropLogic
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Popularity
Downloads
5,245
Stars
0
Forks
0
Watchers
1
 Releases
Current version
0.2.0
Total releases
2
First release
2016-01-28
Latest release
2016-03-27
 Activity
Average date of last 50 commits
2016-02-11
Reverse Dependencies
0

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-sat4jHomepageDocumentationSource CodeBug TrackerWiki
Sat4j bindings for prop_logic
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Popularity
Downloads
3,544
Stars
0
Forks
0
Watchers
1
 Releases
Current version
2.3.5.0
Total releases
1
First release
2016-04-05
Latest release
2016-04-05
 Activity
Average date of last 50 commits
2016-04-03
Reverse Dependencies
0

Show more project detailsCompare