Ohloh by Black Duck

 Follow @ Meta   Join Now

Related Projects

  Analyzed 3 days ago based on code collected 3 days ago.

Project Similar to simple-sat-solver

csisat   (Compare Project)

Inactive

Mostly written in C

License: Apache-2.0


 

tinisat-j   (Compare Project)

Inactive

Mostly written in Java

License: GPL-2.0+


 

emustru   (Compare Project)

Activity Not Available

Mostly written in Java

License: GPL-2.0+


 

geneticsatsolver   (Compare Project)

Inactive

Mostly written in Java

License: GPL-2.0+


 

words-english   (Compare Project)

Inactive

Mostly written in Python

License: GPL-3.0+


 

moses-for-mere-mortals   (Compare Project)

Inactive

Mostly written in shell script

License: GPL-3.0+


 

Cunei Machine Translation Platform   (Compare Project)

Very Low Activity

Mostly written in Java

License: MIT


 

OpenBricks   (Compare Project)

Very High Activity

Mostly written in shell script

License: GPL-2.0+


 

CVC4   (Compare Project)

Activity Not Available

Mostly written in C++

License: BSD-3-Clause


 

extract-tmx-corpus   (Compare Project)

Inactive

Mostly written in Python

License: GPL-3.0+


 

People who use simple-sat-solver also use:

Ohloh requires more users for this project before we can determine project relationships.

This list is updated nightly.

 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.