yosyshq-abc-devel-0.52-1.20250411gite55d316.fc41 in Fedora 41
↵ Return to the main page of yosyshq-abc-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-04-11 | Gabriel Somlo <gsomlo at gmail dot com> - 0.52-1.20250411gite55d316 | - update to 0.52 snapshot |
| 2025-03-13 | Gabriel Somlo <gsomlo at gmail dot com> - 0.51-1.20250313gitf2d68d5 | - update to 0.51 snapshot |
| 2025-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.46-2.20241011gitcac8f99 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
| 2024-10-11 | Gabriel Somlo <gsomlo at gmail dot com> - 0.46-1.20241011gitcac8f99 | - update to 0.46 snapshot |
| 2024-09-05 | Gabriel Somlo <gsomlo at gmail dot com> - 0.45-1.20240905git2188bc7 | - update to 0.45 snapshot |
| 2024-08-08 | Gabriel Somlo <gsomlo at gmail dot com> - 0.44-1.20240804git28d955c | - update to 0.44 snapshot |
| 2024-07-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.41-2.20240524git237d813 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
| 2024-05-24 | Gabriel Somlo <gsomlo at gmail dot com> - 0.41-1.20240524git237d813 | - update to 0.41 snapshot |
| 2024-03-14 | Gabriel Somlo <gsomlo at gmail dot com> - 0.39-1.20240314git0cd90d0 | - update to 0.39 snapshot |
| 2024-01-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.35-2.20231108git896e5e7 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
Dependencies
Provides
- abc-devel
- yosyshq-abc-devel
- yosyshq-abc-devel(x86-64)
Files
- usr/
- include/
- abc/
- aig/
- aig/
- aig.h
- gia/
- gia.h
- giaAig.h
- giaCSatP.h
- giaIiff.h
- giaNewBdd.h
- giaNewTt.h
- giaTransduction.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
- ioResub.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
- extraLutCas.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/
- acd/
- ac_wrapper.h
- if.h
- ifCount.h
- acd/
- 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
- eslim/
- eSLIM.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
- rar/
- rewire_map.h
- rewire_miaig.h
- rewire_rar.h
- rewire_rng.h
- rewire_time.h
- rewire_tt.h
- rewire_vec.h
- res/
- res.h
- resInt.h
- ret/
- retInt.h
- rrr/
- rrr.h
- rrrAbc.h
- rrrAnalyzer.h
- rrrAndNetwork.h
- rrrBddAnalyzer.h
- rrrBddManager.h
- rrrBddMspfAnalyzer.h
- rrrLevelBasePartitioner.h
- rrrOptimizer.h
- rrrParameter.h
- rrrPartitioner.h
- rrrSatSolver.h
- rrrScheduler.h
- rrrSimulator.h
- rrrTypes.h
- rrrUtils.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
- cadical/
- cadicalSolver.h
- ccadical.h
- global.h
- ipasir.h
- kitten.h
- random.h
- stack.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
- Heap2.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
- kissat/
- allocate.h
- analyze.h
- ands.h
- application.h
- arena.h
- array.h
- assign.h
- attribute.h
- averages.h
- backbone.h
- backtrack.h
- build.h
- bump.h
- check.h
- classify.h
- clause.h
- collect.h
- colors.h
- compact.h
- config.h
- congruence.h
- cover.h
- decide.h
- deduce.h
- definition.h
- dense.h
- eliminate.h
- equivalences.h
- error.h
- extend.h
- factor.h
- fastassign.h
- fastel.h
- fifo.h
- file.h
- flags.h
- format.h
- forward.h
- frames.h
- gates.h
- global.h
- handle.h
- heap.h
- ifthenelse.h
- import.h
- inline.h
- inlineassign.h
- inlineframes.h
- inlineheap.h
- inlinequeue.h
- inlinevector.h
- internal.h
- keatures.h
- kimits.h
- kissat.h
- kissatSolver.h
- kitten.h
- krite.h
- learn.h
- literal.h
- logging.h
- lucky.h
- minimize.h
- mode.h
- options.h
- parse.h
- phases.h
- preprocess.h
- print.h
- probe.h
- profile.h
- promote.h
- proof.h
- propbeyond.h
- propdense.h
- propinitially.h
- proplit.h
- proprobe.h
- propsearch.h
- queue.h
- random.h
- rank.h
- reduce.h
- reference.h
- reluctant.h
- reorder.h
- rephase.h
- report.h
- require.h
- resize.h
- resolve.h
- resources.h
- restart.h
- search.h
- shrink.h
- smooth.h
- sort.h
- stack.h
- statistics.h
- strengthen.h
- substitute.h
- sweep.h
- terminate.h
- tiers.h
- trail.h
- transitive.h
- utilities.h
- value.h
- vector.h
- vivify.h
- walk.h
- warmup.h
- watch.h
- weaken.h
- witness.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