Pinned Repositories
demo_app
nothing
demo_app2
nothing to say
deploy
deploy
first_app
my first app ruby on rails
qlnt
qlnt with reporting
raSAT
raSAT - an smt solver for polynomial constraints
report_tool
this is our thesis
reporting
this is reporting app, which is pluggable. Each time it is plugged into another project, it is modified. So this repository is used for update source code of this app.
sample_app
smt_test_tools
set of tools for testing smt over jaist parallel computers
tungvx's Repositories
tungvx/report_tool
this is our thesis
tungvx/first_app
my first app ruby on rails
tungvx/raSAT
raSAT - an smt solver for polynomial constraints
tungvx/demo_app
nothing
tungvx/demo_app2
nothing to say
tungvx/deploy
deploy
tungvx/qlnt
qlnt with reporting
tungvx/reporting
this is reporting app, which is pluggable. Each time it is plugged into another project, it is modified. So this repository is used for update source code of this app.
tungvx/sample_app
tungvx/smt_test_tools
set of tools for testing smt over jaist parallel computers
tungvx/survey
this is the survey application
tungvx/survey_tung_hieu
tungvx/FSE
tungvx/FSE2
second ass
tungvx/minor-research
this is my minor research
tungvx/PL_ASS2