Activity Not Available

Related Projects

  Analyzed 2 months ago based on code collected 2 months ago.

Projects Similar to simple-sat-solver

csisat   (Compare Project)

Very Low Activity

Mostly written in Objective Caml

License: Apache-2.0


 

words-english   (Compare Project)

Inactive

Mostly written in Python

License: GPL-3.0+


 

geneticsatsolver   (Compare Project)

Inactive

Mostly written in Java

License: GPL-2.0+


 

tinisat-j   (Compare Project)

Activity Not Available

Mostly written in Java

License: GPL-2.0+


 

emustru   (Compare Project)

Activity Not Available

Mostly written in Java

License: GPL-2.0+


 

moses-for-mere-mortals   (Compare Project)

Activity Not Available

Mostly written in shell script

License: GPL-3.0+


 
CVC4

CVC4   (Compare Project)

Activity Not Available

Mostly written in C++

License: BSD-3-Clause


 
OpenBricks

OpenBricks   (Compare Project)

Activity Not Available

Mostly written in shell script

License: GPL-2.0+


 

ocamlyices   (Compare Project)

Activity Not Available

Mostly written in Objective Caml

License: ISC


 

SMTInterpol   (Compare Project)

Moderate Activity

Mostly written in Java

License: LGPL-3.0+


 

People who use simple-sat-solver also use:

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

This list is updated nightly.