有c语言编写的最基本的rsat源代码，可以供学习可满足性分析编写者使用，能够学到很多SAT方面的知识-C has the most basic language rsat source code available for study and analysis to meet the writers use, to learn a lot of knowledge SAT
SHOW FULL COLUMNS FROM `jrk_downrecords` [ RunTime:0.001366s ]
SELECT `a`.`aid`,`a`.`title`,`a`.`create_time`,`m`.`username` FROM `jrk_downrecords` `a` INNER JOIN `jrk_member` `m` ON `a`.`uid`=`m`.`id` WHERE `a`.`status` = 1 GROUP BY `a`.`aid` ORDER BY `a`.`create_time` DESC LIMIT 10 [ RunTime:0.145959s ]
SHOW FULL COLUMNS FROM `jrk_tagrecords` [ RunTime:0.001182s ]
SELECT * FROM `jrk_tagrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 20 [ RunTime:0.001909s ]
SHOW FULL COLUMNS FROM `jrk_member` [ RunTime:0.001217s ]
SELECT `id`,`username`,`userhead`,`usertime` FROM `jrk_member` WHERE `status` = 1 ORDER BY `usertime` DESC LIMIT 10 [ RunTime:0.005353s ]
SHOW FULL COLUMNS FROM `jrk_searchrecords` [ RunTime:0.001042s ]
SELECT * FROM `jrk_searchrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 5 [ RunTime:0.003221s ]
SELECT aid,title,count(aid) as c FROM `jrk_downrecords` GROUP BY `aid` ORDER BY `c` DESC LIMIT 10 [ RunTime:0.015779s ]
SHOW FULL COLUMNS FROM `jrk_articles` [ RunTime:0.001361s ]
UPDATE `jrk_articles` SET `hits` = 1 WHERE `id` = 110099 [ RunTime:0.001282s ]
