Java Reader类代码示例

OGeek|极客世界-中国程序员成长平台 › 门户 › 编程› Java›Java编程经验

原作者: [db:作者] 来自: [db:来源] 收藏邀请

本文整理汇总了Java中org.sat4j.reader.Reader类的典型用法代码示例。如果您正苦于以下问题：Java Reader类的具体用法？Java Reader怎么用？Java Reader使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。

Reader类属于org.sat4j.reader包，在下文中一共展示了Reader类的20个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于我们的系统推荐出更棒的Java代码示例。

示例1: verifySatICPL_2

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void verifySatICPL_2() throws IOException, ParseFormatException, ContradictionException, org.sat4j.specs.TimeoutException, CSVException{
	ISolver solver = SolverFactory.newDefault();
	Reader reader = new LecteurDimacs(solver);
	IProblem problem = reader.parseInstance("TestData/Realistic/freebsd-icse11.dimacs");
	assertTrue(problem.isSatisfiable());
	
	CNF cnf = new CNF("TestData/Realistic/freebsd-icse11.dimacs", CNF.type.dimacs);
	
	CoveringArray ca = new CoveringArrayFile("reports/bestcoverages/freebsd-icse11-size78-1thread.dimacs.ca2.csv");
	for(int n = 0; n < ca.getRowCount(); n++){
		// Convert
		Integer[] solinteger = ca.getRow(n);
		int[] sol = new int[solinteger.length];
		for(int i = 0; i < sol.length; i++){
			sol[i] = cnf.getNr(ca.getId(i+1));
			if(solinteger[i]==1) sol[i] = -sol[i];
		}
		IVecInt assumps = new VecInt(sol);
		
		// Test
		assertTrue(problem.isSatisfiable(assumps));
	}
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:25，代码来源:TestVerify.java

示例2: verifySatICPL_3

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void verifySatICPL_3() throws IOException, ParseFormatException, ContradictionException, org.sat4j.specs.TimeoutException, CSVException{
	ISolver solver = SolverFactory.newDefault();
	Reader reader = new LecteurDimacs(solver);
	IProblem problem = reader.parseInstance("TestData/Realistic/2.6.28.6-icse11.dimacs");
	assertTrue(problem.isSatisfiable());
	
	CNF cnf = new CNF("TestData/Realistic/2.6.28.6-icse11.dimacs", CNF.type.dimacs);
	
	CoveringArray ca = new CoveringArrayFile("reports/bestcoverages/2.6.28.6-icse11-size469-1thread.dimacs.ca2.csv");
	for(int n = 0; n < ca.getRowCount(); n++){
		// Convert
		Integer[] solinteger = ca.getRow(n);
		int[] sol = new int[solinteger.length];
		for(int i = 0; i < sol.length; i++){
			sol[i] = cnf.getNr(ca.getId(i+1));
			if(solinteger[i]==1) sol[i] = -sol[i];
		}
		IVecInt assumps = new VecInt(sol);
		//System.out.println(n + ", " + assumps.size());
		
		// Test
		assertTrue(problem.isSatisfiable(assumps));
	}
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:26，代码来源:TestVerify.java

示例3: solve

import org.sat4j.reader.Reader; //导入依赖的package包/类
public void solve(IProblem problem, Reader reader, ILogAble logger,
        PrintWriter out, long beginTime) {
    this.exitCode = ExitCode.UNKNOWN;
    this.out = out;
    this.nbSolutionFound = 0;
    this.beginTime = beginTime;
    try {
        if (problem.isSatisfiable()) {
            if (this.exitCode == ExitCode.UNKNOWN) {
                this.exitCode = ExitCode.SATISFIABLE;
            }
        } else {
            if (this.exitCode == ExitCode.UNKNOWN) {
                this.exitCode = ExitCode.UNSATISFIABLE;
            }
        }
    } catch (TimeoutException e) {
        logger.log("timeout");
    }

}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:22，代码来源:DecisionMode.java

示例4: runSatSolver

import org.sat4j.reader.Reader; //导入依赖的package包/类
private int[] runSatSolver(Path path){
    ISolver solver = SolverFactory.newDefault();
    solver.setTimeout(TIMEOUT_MINUTES);
    Reader reader = new DimacsReader(solver);

    IProblem problem = null;
    try {
        problem = reader.parseInstance(path.toString());
        if (problem.isSatisfiable()) {
            return problem.model();
        } else {
            logger.error("Problem described in " + path.getFileName() + " is unsatisfiable");
        }
    } catch (ContradictionException | TimeoutException | ParseFormatException | IOException e) {
        logger.error("Error during SAT-solver processing", e);
    }
    return null;
}

开发者ID:Vapsel，项目名称:social-media-analytic-system，代码行数:19，代码来源:SATSolverManagerImpl.java

示例5: createReader

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Override
protected Reader createReader(ISolver theSolver, String problemname) {
	if (highLevel) {
		return new GroupedCNFReader((HighLevelXplain<ISolver>) theSolver);
	}
	return new LecteurDimacs(theSolver);
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:8，代码来源:MUSLauncher.java

示例6: setUp

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Before
public void setUp() throws FileNotFoundException, ParseFormatException,
		IOException, ContradictionException {
	xplain = new Xplain<ISolver>(SolverFactory.newDefault());
	xplain.setTimeout(3600); // 1 hour timeout
	Reader reader = new DimacsReader(xplain);
	String dimacs = "src/test/testfiles/eb42.dimacs";
	reader.parseInstance(dimacs);
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:10，代码来源:BugSAT26.java

示例7: verifySatICPL_1

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void verifySatICPL_1() throws IOException, ParseFormatException, ContradictionException, org.sat4j.specs.TimeoutException, CSVException{
	ISolver solver = SolverFactory.newDefault();
	Reader reader = new LecteurDimacs(solver);
	IProblem problem = reader.parseInstance("TestData/Realistic/ecos-icse11.dimacs");
	assertTrue(problem.isSatisfiable());
	
	CNF cnf = new CNF("TestData/Realistic/ecos-icse11.dimacs", CNF.type.dimacs);
	
	CoveringArray ca = new CoveringArrayFile("reports/bestcoverages/ecos-icse11-size66-1thread.dimacs.ca2.csv");
	for(int n = 0; n < ca.getRowCount(); n++){
		// Convert
		Integer[] solinteger = ca.getRow(n);
		int[] sol = new int[solinteger.length];
		for(int i = 0; i < sol.length; i++){
			//System.out.println(i+1 + ", " + ca.nrid.get(i+1));
			sol[i] = cnf.getNr(ca.getId(i+1));
			if(solinteger[i]==1) sol[i] = -sol[i];
		}
		IVecInt assumps = new VecInt(sol);
		//System.out.println(assumps);
		//System.out.println(n + ", " + assumps.size());
		
		// Test
		assertTrue(problem.isSatisfiable(assumps));
	}
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:28，代码来源:TestVerify.java

示例8: createReader

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Override
protected Reader createReader(ISolver theSolver, String problemname) {
    if (this.highLevel) {
        return new GroupedCNFReader(
                (GroupClauseSelectorSolver<ISolver>) theSolver);
    }
    return new LecteurDimacs(theSolver);
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:9，代码来源:MUSLauncher.java

示例9: testIterativeAssumptionCallsWithSet

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void testIterativeAssumptionCallsWithSet()
        throws FileNotFoundException, ParseFormatException, IOException,
        ContradictionException, TimeoutException {
    ISolver satSolver = SolverFactory.newDefault();
    Reader reader = new LecteurDimacs(satSolver);
    IProblem p = reader.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

    List<Integer> vars = new ArrayList<Integer>();
    for (int i = 1; i <= p.nVars(); i++) {
        vars.add(-i);
        vars.add(i);
    }

    Set<Integer> sol = new HashSet<Integer>();

    for (int i = 0; i < vars.size(); i++) {
        ISolver satSolverOracle = SolverFactory.newDefault();
        Reader readerOracle = new LecteurDimacs(satSolverOracle);
        readerOracle.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

        int varnr = vars.get(i);

        int assumpsArray[] = new int[sol.size() + 1];
        int c = 0;
        for (int a : sol) {
            assumpsArray[c] = a;
            c++;
        }
        assumpsArray[assumpsArray.length - 1] = varnr;
        IVecInt assumps = new VecInt(assumpsArray);
        // Check
        if (satSolver.isSatisfiable(assumps)) {
            sol.add(varnr);
        }

        assertEquals(satSolverOracle.isSatisfiable(assumps),
                satSolver.isSatisfiable(assumps));
    }
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:41，代码来源:TestSatAssumps.java

示例10: setUp

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Before
public void setUp() throws FileNotFoundException, ParseFormatException,
        IOException, ContradictionException {
    this.xplain = new Xplain<ISolver>(SolverFactory.newDefault());
    this.xplain.setTimeout(3600); // 1 hour timeout
    Reader reader = new DimacsReader(this.xplain);
    String dimacs = "src/test/testfiles/eb42.dimacs";
    reader.parseInstance(dimacs);
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:10，代码来源:BugSAT26.java

示例11: getDefaultOPBReader

import org.sat4j.reader.Reader; //导入依赖的package包/类
private Reader getDefaultOPBReader() {
    if (this.opb == null) {
        this.opb = new OPBReader2012(new PBSolverHandle(
                new PseudoOptDecorator(solver)));
    }
    return this.opb;
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:8，代码来源:PBInstanceReader.java

示例12: handleFileName

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Override
protected Reader handleFileName(String fname, String prefix) {
    if (fname.endsWith(".opb") || "PB".equals(prefix)) {
        return getDefaultOPBReader();
    }
    return super.handleFileName(fname, prefix);
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:8，代码来源:PBInstanceReader.java

示例13: parseInstance

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Override
public IProblem parseInstance(final java.io.Reader input)
        throws ParseFormatException, ContradictionException {
    IProblem problem = parseInstance(new LineNumberReader(input));
    this.solver.setObjectiveFunction(getObjectiveFunction());
    return problem;
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:8，代码来源:OPBReader2005.java

示例14: testReserveVarsButUseLess

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void testReserveVarsButUseLess() throws ContradictionException,
        TimeoutException, FileNotFoundException, ParseFormatException,
        IOException {
    IPBSolver solver = SolverFactory.newEclipseP2();
    Reader reader = new OPBEclipseReader2007(solver);
    reader.parseInstance(PREFIX + "bug247567.opb");
    assertTrue(solver.isSatisfiable());
    assertTrue(solver.model(1));
    assertTrue(solver.model(2));
    assertTrue(solver.model(3));
    assertFalse(solver.model(4));
    assertFalse(solver.model(5));
    assertFalse(solver.model(6));
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:16，代码来源:TestEclipseBug247567.java

示例15: testReserveVarsButUseLess

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void testReserveVarsButUseLess() throws ContradictionException,
        TimeoutException, FileNotFoundException, ParseFormatException,
        IOException {
    IPBSolver solver = SolverFactory.newEclipseP2();
    Reader reader = new OPBEclipseReader2007(solver);
    reader.parseInstance(PREFIX + "bug275101.opb");
    assertTrue(solver.isSatisfiable());
}

开发者ID:TakehideSoh，项目名称:Scarab，代码行数:10，代码来源:TestEclipseBug275101.java

示例16: createReader

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Override
protected Reader createReader(ISolver theSolver, String problemname) {
	return new InstanceReader(theSolver);
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:5，代码来源:BasicLauncher.java

示例17: testIterativeAssumptionCallsWithSet

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void testIterativeAssumptionCallsWithSet()
		throws FileNotFoundException, ParseFormatException, IOException,
		ContradictionException, TimeoutException {
	ISolver satSolver = SolverFactory.newDefault();
	Reader reader = new LecteurDimacs(satSolver);
	IProblem p = reader.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

	List<Integer> vars = new ArrayList<Integer>();
	for (int i = 1; i <= p.nVars(); i++) {
		vars.add(-i);
		vars.add(i);
	}

	Set<Integer> sol = new HashSet<Integer>();

	for (int i = 0; i < vars.size(); i++) {
		ISolver satSolverOracle = SolverFactory.newDefault();
		Reader readerOracle = new LecteurDimacs(satSolverOracle);
		readerOracle.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

		int varnr = vars.get(i);

		int assumpsArray[] = new int[sol.size() + 1];
		int c = 0;
		for (int a : sol) {
			assumpsArray[c] = a;
			c++;
		}
		assumpsArray[assumpsArray.length - 1] = varnr;
		IVecInt assumps = new VecInt(assumpsArray);

		System.out.println(assumps);

		// Check
		if (satSolver.isSatisfiable(assumps)) {
			sol.add(varnr);
		} else {
			System.out.println("unsat: " + varnr);
		}

		assertEquals(satSolverOracle.isSatisfiable(assumps),
				satSolver.isSatisfiable(assumps));
	}
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:46，代码来源:TestSatAssumps.java

示例18: testIterativeAssumptionCallsWithList

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void testIterativeAssumptionCallsWithList()
		throws FileNotFoundException, ParseFormatException, IOException,
		ContradictionException, TimeoutException {
	ISolver satSolver = SolverFactory.newDefault();
	Reader reader = new LecteurDimacs(satSolver);
	IProblem p = reader.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

	List<Integer> vars = new ArrayList<Integer>();
	for (int i = 1; i <= p.nVars(); i++) {
		vars.add(-i);
		vars.add(i);
	}

	List<Integer> sol = new ArrayList<Integer>();

	for (int i = 0; i < vars.size(); i++) {
		ISolver satSolverOracle = SolverFactory.newDefault();
		Reader readerOracle = new LecteurDimacs(satSolverOracle);
		readerOracle.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

		int varnr = vars.get(i);

		int assumpsArray[] = new int[sol.size() + 1];
		int c = 0;
		for (int a : sol) {
			assumpsArray[c] = a;
			c++;
		}
		assumpsArray[assumpsArray.length - 1] = varnr;
		IVecInt assumps = new VecInt(assumpsArray);

		System.out.println(assumps);

		// Check
		if (satSolver.isSatisfiable(assumps)) {
			sol.add(varnr);
		} else {
			System.out.println("unsat: " + varnr);
		}

		assertEquals(satSolverOracle.isSatisfiable(assumps),
				satSolver.isSatisfiable(assumps));
	}
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:46，代码来源:TestSatAssumps.java

示例19: testIterativeCorrectWay

import org.sat4j.reader.Reader; //导入依赖的package包/类
@Test
public void testIterativeCorrectWay() throws FileNotFoundException,
		ParseFormatException, IOException, ContradictionException,
		TimeoutException {
	ISolver satSolver = SolverFactory.newDefault();
	Reader reader = new LecteurDimacs(satSolver);
	IProblem p = reader.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

	Set<Integer> sol = new HashSet<Integer>();

	for (int i = 1; i <= p.nVars(); i++) {
		ISolver satSolverOracle = SolverFactory.newDefault();
		Reader readerOracle = new LecteurDimacs(satSolverOracle);
		readerOracle.parseInstance("src/test/testfiles/Eshop-fm.dimacs");

		int assumpsArray[] = new int[sol.size() + 1];
		int c = 0;
		for (int a : sol) {
			assumpsArray[c] = a;
			c++;
		}
		assumpsArray[assumpsArray.length - 1] = -i;
		IVecInt assumps = new VecInt(assumpsArray);

		System.out.println(assumps);

		// Check
		assertEquals(satSolverOracle.isSatisfiable(assumps),
				satSolver.isSatisfiable(assumps));
		if (satSolver.isSatisfiable(assumps)) {
			sol.add(-i);
			continue;
		}
		assumpsArray[assumpsArray.length - 1] = i;
		System.out.println(assumps);
		satSolverOracle = SolverFactory.newDefault();
		readerOracle = new LecteurDimacs(satSolverOracle);
		readerOracle.parseInstance("src/test/testfiles/Eshop-fm.dimacs");
		assertEquals(satSolverOracle.isSatisfiable(assumps),
				satSolver.isSatisfiable(assumps));
		if (satSolver.isSatisfiable(assumps)) {
			sol.add(i);
		} else {
			System.out.println("unsat: " + i);
		}
	}
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:48，代码来源:TestSatAssumps.java

示例20: createInstanceReader

import org.sat4j.reader.Reader; //导入依赖的package包/类
protected Reader createInstanceReader(T aSolver) {
	return new InstanceReader(aSolver);
}

开发者ID:axel-halin，项目名称:Thesis-JHipster，代码行数:4，代码来源:AbstractAcceptanceTestCase.java

注：本文中的org.sat4j.reader.Reader类示例整理自Github/MSDocs等源码及文档管理平台，相关代码片段筛选自各路编程大神贡献的开源项目，源码版权归原作者所有，传播和使用请参考对应项目的License；未经允许，请勿转载。

鲜花

握手

雷人

路过

鸡蛋

该文章已有0人参与评论

请发表评论

全部评论

专题导读

More+

10-27 六六分期app的软件客服如何联系？(六六分期

11-06 可心卡盟:win10系统火狐flash插件崩溃怎么

11-06 亲亲特价:怎么删除回收站图标

11-06 济南大学虚拟社区:鲁大师节能降温的具体办

11-06 xlueops.exe:无线网络安装向导

11-06 女斗合众国:win7系统cf与主机连接不稳定怎

11-06 0xc000022-[cf烟雾头]cf怎么调烟雾头

11-06 qizideyouhuo:应用程序无法正常启动0xc0000

11-06 ipz-185:win7系统vcf文件怎么打开

11-06 傻哥蹦迪:win10系统s4怎么打开usb调试

11-06 八神浩树gtaste:回收站清空了怎么恢复

11-06 妖尾之黑色守护:win10系统电脑没有1440x900

11-06 校园至尊魔王小说:win7系统浏览网页时字体

11-06 女斗合众国:win10系统访问共享文件夹提示请

11-06 tokyo hot n0654:恢复win7系统默认字体一招

11-06 雨酷仙境:设置win7系统转移临时文件夹腾出

11-06 阿穆纳伊之杖:win7系统开始菜单在右边还原

11-06 tunespotting:win10系统火狐flash插件总是

11-06 甘尔葛分析师：计谋网站seo关键词暴涨有什

11-06 蔡贵霖: 计谋网站seo关键词暴涨有什么秘密

11-06 博益网首页:ao3网页版进入不了解决方法

11-06 漏斗子专栏: 网站数据分析小白易懂精华篇

11-06 见证双虹怎么做:win7系统开启telnet命令的

11-06 颾狐蝶蜋:系统资源不足无法完成请求的服务

11-06 国光中学校歌:提交网站到alexa查询详细步骤

11-06 西安有情天:静态网页和动态网页的区别

11-06 红木雅尚斋:外部链接构造对网站的好处

11-06 前官礼遇：防止域名劫持–增强域安全性的10

11-06 密传二转答案: 中文分词算法有哪些

11-06 金泉家园邮编:百度快照劫持的表现及应对方

Java ReaderCallback类代码示例发布时间：2022-05-22

Java Animation类代码示例发布时间：2022-05-22

剪的笔顺,诠释剪的笔画,认识剪的部首

1 六六分期app的软件客服如何联系？(六六分期

六六分期app的软件客服如何联系？不知道吗？加qq群【895510560】即可！标题：六六分期

阅读：18235|2023-10-27

2 可心卡盟:win10系统火狐flash插件崩溃怎么

今天小编告诉大家如何处理win10系统火狐flash插件总是崩溃的问题，可能很多用户都不知

阅读：9666|2022-11-06

3 亲亲特价:怎么删除回收站图标

今天小编告诉大家如何对win10系统删除桌面回收站图标进行设置，可能很多用户都不知道

阅读：8175|2022-11-06

4 济南大学虚拟社区:鲁大师节能降温的具体办

今天小编告诉大家如何对win10系统电脑设置节能降温的设置方法，想必大家都遇到过需要

阅读：8547|2022-11-06

5 xlueops.exe:无线网络安装向导

我们在使用xp系统的过程中,经常需要对xp系统无线网络安装向导设置进行设置，可能很多

阅读：8453|2022-11-06

6 女斗合众国:win7系统cf与主机连接不稳定怎

今天小编告诉大家如何处理win7系统玩cf老是与主机连接不稳定的问题，可能很多用户都不

阅读：9382|2022-11-06

7 0xc000022-[cf烟雾头]cf怎么调烟雾头

电脑对日常生活的重要性小编就不多说了，可是一旦碰到win7系统设置cf烟雾头的问题，很

阅读：8425|2022-11-06

8 qizideyouhuo:应用程序无法正常启动0xc0000

我们在日常使用电脑的时候，有的小伙伴们可能在打开应用的时候会遇见提示应用程序无法

阅读：7857|2022-11-06

9 ipz-185:win7系统vcf文件怎么打开

今天小编告诉大家如何对win7系统打开vcf文件进行设置，可能很多用户都不知道怎么对win

阅读：8410|2022-11-06

10 傻哥蹦迪:win10系统s4怎么打开usb调试

今天小编告诉大家如何对win10系统s4开启USB调试模式进行设置，可能很多用户都不知道怎

阅读：7394|2022-11-06

客服电话

电子邮件

Java Reader类代码示例

示例1: verifySatICPL_2

示例2: verifySatICPL_3

示例3: solve

示例4: runSatSolver

示例5: createReader

示例6: setUp

示例7: verifySatICPL_1

示例8: createReader

示例9: testIterativeAssumptionCallsWithSet

示例10: setUp

示例11: getDefaultOPBReader

示例12: handleFileName

示例13: parseInstance

示例14: testReserveVarsButUseLess

示例15: testReserveVarsButUseLess

示例16: createReader

示例17: testIterativeAssumptionCallsWithSet

示例18: testIterativeAssumptionCallsWithList

示例19: testIterativeCorrectWay

示例20: createInstanceReader

请发表评论

全部评论

上一篇：

下一篇：

librespeed/speedtest: Self-hosted Speedt

avehtari/BDA_m_demos: Bayesian Data Anal

四维彩超怎么看性别？四维看男孩女孩诀窍

MATLAB第二次作业

medfreeman/markdown-it-toc-and-anchor: m

剪的笔顺,诠释剪的笔画,认识剪的部首

六六分期app的软件客服如何联系？(六六分期

florent37/ViewAnimator: A fluent Android

florent37/Shrine-MaterialDesign2: implem

CVE-2020-36276

SimpleSoftwareIO/simple-sms: Send and re

关于我们

产品与服务

解决方案

139-2527-9053