This website requires JavaScript.
Explore
Help
Sign In
alex
/
genode-world
Watch
1
Star
0
Fork
0
You've already forked genode-world
Code
Issues
Pull Requests
Releases
Wiki
Activity
Files
41fa0537fd23447e6fb4ea6cf8e0b98cd21ea97c
genode-world
/
lib
/
import
History
Emery Hemingway
41fa0537fd
port of Crypto++
...
http://www.cryptopp.com/
Issue
#45
2016-10-05 11:26:05 +02:00
..
import-cryptopp.mk
port of Crypto++
2016-10-05 11:26:05 +02:00
import-glucose.mk
Add glucose SAT solver
2016-03-21 11:36:51 +01:00
import-lemon.mk
Add lemon graph library
2016-03-21 11:36:53 +01:00
import-libevent.mk
Port of libevent (Ref
#30
)
2016-08-25 10:27:08 +02:00
import-libxml2.mk
Port of libxml2
2016-08-21 01:29:25 +02:00
import-scip.mk
Add soplex and scip (LP and MIP solver)
2016-03-21 11:36:57 +01:00
import-sqlite.mk
port of sqlite-3.10.2
2016-02-09 11:37:03 +01:00