abc-devel-1.01-30.git20210328.fc34 in Fedora 34
↵ Return to the main page of abc-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-03-31 | Jerry James <loganjerry at gmail dot com> - 1.01-30.git20210328 | - Update to latest git snapshot - Add patches: -strict-aliasing, -overflow - Avoid bogus rpaths |
| 2021-01-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.01-29.git20201126 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2020-11-26 | Gabriel Somlo <gsomlo at gmail dot com> - 1.01-28.git20201126 | - Update to latest git snapshot |
| 2020-07-27 | Jerry James <loganjerry at gmail dot com> - 1.01-27.git20200720 | - Update to latest git snapshot - Add -gia patch to fix crash - Adapt to cmake changes in Rawhide |
| 2020-07-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.01-27.git20200127 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
| 2020-01-31 | Gabriel Somlo <gsomlo at gmail dot com> - 1.01-26.git20200127 | - Update to latest git snapshot |
| 2020-01-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.01-25.git20191217 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild |
| 2019-12-18 | Jerry James <loganjerry at gmail dot com> - 1.01-24.git20191217 | - Update to latest git snapshot - Add -giaDeep patch to fix build failure |
| 2019-07-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.01-23.git20190608 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild |
| 2019-06-12 | Jerry James <loganjerry at gmail dot com> - 1.01-22.git20190608 | - Update to latest git snapshot - Add -build and -format patches - Build with cmake - Enable CUDD support |
Dependencies
- abc-libs = 1.01-30.git20210328.fc34
Provides
- abc-devel
- abc-devel(x86-64)
Files
- usr/
- include/
- abc/
- aig/
- aig/
- aig.h
- gia/
- gia.h
- giaAig.h
- giaIiff.h
- hop/
- cudd2.h
- hop.h
- ioa/
- ioa.h
- ivy/
- attr.h
- ivy.h
- miniaig/
- abcOper.h
- miniaig.h
- minilut.h
- ndr.h
- saig/
- saig.h
- aig/
- base/
- abc/
- abc.h
- abcInt.h
- acb/
- acb.h
- acbPar.h
- acbSets.h
- bac/
- bac.h
- bacPrs.h
- cba/
- cba.h
- cbaPrs.h
- cbaTypes.h
- cmd/
- cmd.h
- cmdInt.h
- exor/
- exor.h
- io/
- ioAbc.h
- ioInt.h
- main/
- abcapis.h
- abcapis_old.h
- main.h
- mainInt.h
- pla/
- pla.h
- ver/
- ver.h
- wlc/
- wlc.h
- wln/
- wln.h
- abc/
- bdd/
- bbr/
- bbr.h
- cas/
- cas.h
- cudd/
- cudd.h
- cuddInt.h
- dsd/
- dsd.h
- dsdInt.h
- epd/
- epd.h
- extrab/
- extraBdd.h
- llb/
- llb.h
- llbInt.h
- mtr/
- mtr.h
- mtrInt.h
- reo/
- reo.h
- bbr/
- bool/
- bdc/
- bdc.h
- bdcInt.h
- dec/
- dec.h
- deco/
- deco.h
- kit/
- cloud.h
- kit.h
- lucky/
- lucky.h
- luckyInt.h
- rpo/
- literal.h
- rpo.h
- rsb/
- rsb.h
- rsbInt.h
- bdc/
- generic.h
- map/
- amap/
- amap.h
- amapInt.h
- cov/
- cov.h
- covInt.h
- fpga/
- fpga.h
- fpgaInt.h
- if/
- if.h
- ifCount.h
- mapper/
- mapper.h
- mapperInt.h
- mio/
- exp.h
- mio.h
- mioInt.h
- mpm/
- mpm.h
- mpmInt.h
- mpmMig.h
- scl/
- scl.h
- sclCon.h
- sclLib.h
- sclSize.h
- sclTime.h
- super/
- super.h
- superInt.h
- amap/
- misc/
- avl/
- avl.h
- bar/
- bar.h
- bbl/
- bblif.h
- espresso/
- espresso.h
- main.h
- mincov.h
- mincov_int.h
- sparse.h
- sparse_int.h
- util_old.h
- extra/
- extra.h
- hash/
- hash.h
- hashFlt.h
- hashGen.h
- hashInt.h
- hashPtr.h
- mem/
- mem.h
- mem2.h
- mvc/
- mvc.h
- nm/
- nm.h
- nmInt.h
- parse/
- parse.h
- parseInt.h
- st/
- st.h
- stmm.h
- tim/
- tim.h
- timInt.h
- util/
- abc_global.h
- abc_namespaces.h
- utilCex.h
- utilDouble.h
- utilFloat.h
- utilMem.h
- utilNam.h
- utilSignal.h
- utilTruth.h
- util_hack.h
- vec/
- vec.h
- vecAtt.h
- vecBit.h
- vecFlt.h
- vecHash.h
- vecHsh.h
- vecInt.h
- vecMem.h
- vecPtr.h
- vecQue.h
- vecSet.h
- vecStr.h
- vecVec.h
- vecWec.h
- vecWrd.h
- avl/
- opt/
- cgt/
- cgt.h
- cgtInt.h
- csw/
- csw.h
- cswInt.h
- cut/
- cut.h
- cutInt.h
- cutList.h
- dar/
- dar.h
- darInt.h
- dau/
- dau.h
- dauInt.h
- dsc/
- dsc.h
- fret/
- fretime.h
- fsim/
- fsim.h
- fsimInt.h
- fxch/
- Fxch.h
- fxu/
- fxu.h
- fxuInt.h
- lpk/
- lpk.h
- lpkInt.h
- mfs/
- mfs.h
- mfsInt.h
- nwk/
- ntlnwk.h
- nwk.h
- nwkMerge.h
- res/
- res.h
- resInt.h
- ret/
- retInt.h
- rwr/
- rwr.h
- rwt/
- rwt.h
- sbd/
- sbd.h
- sbdInt.h
- sfm/
- sfm.h
- sfmInt.h
- sim/
- sim.h
- cgt/
- phys/
- place/
- libhmetis.h
- place_base.h
- place_gordian.h
- place_qpsolver.h
- place/
- proof/
- abs/
- abs.h
- absRef.h
- absRefJ.h
- acec/
- acec.h
- acecInt.h
- cec/
- cec.h
- cecInt.h
- dch/
- dch.h
- dchInt.h
- fra/
- fra.h
- fraig/
- fraig.h
- fraigInt.h
- int/
- int.h
- intInt.h
- int2/
- int2.h
- int2Int.h
- pdr/
- pdr.h
- pdrInt.h
- ssc/
- ssc.h
- sscInt.h
- ssw/
- ssw.h
- sswInt.h
- abs/
- sat/
- bmc/
- bmc.h
- bsat/
- satClause.h
- satMem.h
- satProof2.h
- satSolver.h
- satSolver2.h
- satSolver3.h
- satStore.h
- satTruth.h
- satVec.h
- bsat2/
- Alg.h
- Alloc.h
- Dimacs.h
- Heap.h
- IntTypes.h
- Map.h
- Options.h
- ParseUtils.h
- Queue.h
- SimpSolver.h
- Solver.h
- SolverTypes.h
- Sort.h
- System.h
- Vec.h
- XAlloc.h
- pstdint.h
- cnf/
- cnf.h
- csat/
- csat_apis.h
- glucose/
- AbcGlucose.h
- Alg.h
- Alloc.h
- BoundedQueue.h
- Constants.h
- Dimacs.h
- Heap.h
- IntTypes.h
- Map.h
- Options.h
- ParseUtils.h
- Queue.h
- SimpSolver.h
- Solver.h
- SolverTypes.h
- Sort.h
- System.h
- Vec.h
- XAlloc.h
- pstdint.h
- glucose2/
- AbcGlucose2.h
- Alg.h
- Alloc.h
- BoundedQueue.h
- CGlucose.h
- CGlucoseCore.h
- Constants.h
- Dimacs.h
- Heap.h
- IntTypes.h
- Map.h
- Options.h
- ParseUtils.h
- Queue.h
- SimpSolver.h
- Solver.h
- SolverTypes.h
- Sort.h
- System.h
- Vec.h
- XAlloc.h
- pstdint.h
- lsat/
- solver.h
- msat/
- msat.h
- msatInt.h
- proof/
- pr.h
- psat/
- m114p.h
- m114p_types.h
- satoko/
- act_clause.h
- act_var.h
- cdb.h
- clause.h
- satoko.h
- solver.h
- types.h
- utils/
- b_queue.h
- heap.h
- mem.h
- misc.h
- sdbl.h
- sort.h
- vec/
- vec_char.h
- vec_flt.h
- vec_int.h
- vec_sdbl.h
- vec_uint.h
- watch_list.h
- xsat/
- xsat.h
- xsatBQueue.h
- xsatClause.h
- xsatHeap.h
- xsatMemory.h
- xsatSolver.h
- xsatUtils.h
- xsatWatchList.h
- bmc/
- aig/
- abc/
- lib64/
- libabc.so
- include/
Sources on Pagure